Advanced logic for applications / Richard E. Grandy.
Material type:
TextSeries: Synthese library ; 110Publication details: Dordrecht, Holland ; Boston : D. Reidel Pub. Co, c1977. Subject(s): Logic, Symbolic and mathematicalDDC classification: 160 LOC classification: BC135 | .G7
| Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
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.