Course in mathematical logic(a) Yu I Manin
Material type: TextLanguage: English Series: Graduates texts in MathematicsPublication details: New York Springer-Verlag 1977 Description: xiii, 286pISBN: 9780387902432Subject(s): COMPUTABILITY | MATHEMATICAL LOGIC | PROVABILITY | RECURSIVE GROUPSDDC classification: 510.6Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | NISER LIBRARY | 510.6 MAN-C (Browse shelf(Opens below)) | Available | 2307 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
510.6 CHI-M Mathematical logic | 510.6 EBB-M Mathematical logic | 510.6 LAN-S Introduction to symbolic logic(an) | 510.6 MAN-C Course in mathematical logic(a) | 510.6 MAR-F First order mathematical logic | 510.6 RAU-C Concise introduction to mathematical logic(a) | 510.6 RAU-C Concise introduction to mathematical logic(a) |
Translated from the Russian by Neal Koblitz
There are no comments on this title.