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
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
004.015113 LAW(FIN) Finite automata | 004.015113 LAW(FIN) Finite automata | 004.015113 LI(INT) An introduction to Kolmogorov complexity and its applications | 004.015113 LOV(THR) Three views of logic : mathematics, philosophy, and computer science | 004.015113 MED(AUT) Automata and languages : theory and applications | 004.015113 MEN(INT) Introduction to Mathematical logic | 004.015113 MEN(INT) Introduction to Mathematical logic |
INV. SAR/67/2014; dt.08-09-2014
There are no comments on this title.