Three views of logic : mathematics, philosophy, and computer science
Material type: TextLanguage: English Publication details: Princeton University Press c2014 Edition: Description: xv, 322 pISBN: 9780691160443 (PB)Subject(s): Nonclassical mathematical logic | Proof theory | Computable functionsDDC classification: 004.015113 LOV(THR)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 004.015113 LOV(THR) (Browse shelf(Opens below)) | 1 | Available | 20383 |
Total holds: 0
INV. SAR/67/2014; dt.08-09-2014
There are no comments on this title.