A course in mathematical logic for mathematicians
Material type: TextLanguage: English Series: Graduate texts in mathematics, 53Publication details: Springer, New York. 2010 Edition: Second EditionDescription: xvii, 384pISBN: 9781441906144Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3 MAN(COU)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Reference | Central Library | 511.3 MAN(COU) (Browse shelf(Opens below)) | 1 | Not for loan | 12730 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
511.3 KRA(BOU) Bounded arithmetic, propositional logic, and complexity theory | 511.3 LAW(FIR) A first course in logic | 511.3 LEW(ELE) Elements of the theory of computation | 511.3 MAN(COU) A course in mathematical logic for mathematicians | 511.3 MAR(OPE) Operads in algebra, topology, and physics | 511.3 MAR(OPE) Operads in algebra, topology, and physics | 511.3 MON(MAT) Mathematical logic |
ME/1/2010-11/0163 / 10-06-2010
There are no comments on this title.