An introduction to mathematical logic & type theory: to truth through proof Andrews Peter B
Material type:
TextPublication details: New york Kluwer Acadmic 2001Edition: 2ndDescription: xviii,390pSubject(s): DDC classification: - 510.6424 AN-I
| Item type | Current library | Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Books and Monographs | Central Library, NIT Jalandhar General Stacks | Central Library, NIT Jalandhar | 510.6424 AN-I (Browse shelf(Opens below)) | Available | 74994 |