An introduction to mathematical logic and type theory/ to truth through proof Andrews,Peter B.

Material type: TextTextPublication details: Dordrecht: Kluwer Academic Publishers, 2002Edition: 2nd edDescription: 390 pISBN: 9781402007637DDC classification: 510
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
General Books 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.

to post a comment.
SIKKIM UNIVERSITY
University Portal | Contact Librarian | Library Portal

Powered by Koha