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
There are no comments on this title.