An introduction to mathematical logic and type theory/ to truth through proof Andrews,Peter B.
Material type: TextPublication details: Dordrecht: Kluwer Academic Publishers, 2002Edition: 2nd edDescription: 390 pISBN: 9781402007637DDC classification: 510Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
General Books | Central Library, Sikkim University General Book Section | 510 AND/I (Browse shelf(Opens below)) | Available | P25105 |
Total holds: 0
Browsing Central Library, Sikkim University shelves, Shelving location: General Book Section Close shelf browser (Hides shelf browser)
509.730904 CUM/S Science and Technology in 20th-century American Life/ | 510 ALL/R Ramanujan's place in the world of mathematics: essays providing a comparative study/ | 510 ANA/I Inteligent mathematics/ | 510 AND/I An introduction to mathematical logic and type theory/ | 510 ATT/M Mathematics for Electrical Engineering and Computing/ | 510 BAE/T Towards higher categories/ | 510 BAR/C Compact complex surfaces./ |
There are no comments on this title.