Advanced logic for applications / Richard E. Grandy.

By: Material type: TextTextSeries: Synthese library ; 110Publication details: Dordrecht, Holland ; Boston : D. Reidel Pub. Co, c1977.Subject(s): DDC classification:
  • 160
LOC classification:
  • BC135 .G7
Holdings
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan de Havilland Learning Resources Centre Main Shelves 160 GRA (Browse shelf(Opens below)) Available 1000105370
Total holds: 0

Includes indexes.

Bibliography: p.