Introduction to mathematical logic
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
NISER LIBRARY | 510.6 CHO-I (Browse shelf(Opens below)) | R (REFERENCE) | 15550 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
510:530.145 ARA-M Mathematical theory of quantum fields | 510.56 CHU-T Calculi of lambda-conversion (the) | 510:57 CIA-M Mathematical models and methods for living systems: Levico Terme, Italy 2014 | 510.6 CHO-I Introduction to mathematical logic | 510.6 EBB-M Mathematical logic | 510.6 LAK-T Tools of mathematical reasoning (the) | 510.6 MAN-C A course in mathematical logic for mathematicians |
There are no comments on this title.