Metalogic : An Introduction To Meta-Theory Of Standard First Ordered Logic, by Hunter, Geoffrey
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 HUN.
Book details
- Author
- Hunter, Geoffrey
- Publisher
- University Of California Press
- Year
- 1973
- ISBN
- 9780520023567
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 HUN | 322842 | Reference only (read in the library) |
Next to this on the shelf
- Mathematical Structuralism 511.3 HEL
- Mathematics and its logics : Philosophical Essays 511.3 HEL
- Fundamentals Of Logic And Computation 511.3 HOU
- Discrete Mathematical Structures 511.3 HUG
- Metalogic : An Introduction To Meta-Theory Of Standard First Ordered Logic, (this book)
- Elements of Logic via Numbers and Sets, 511.3 JOH
- Interpreting Godel 511.3 KEN
- Switching And Finite Automata Theory 511.3 KOH
- Problems And Theorems In Classical Set Theory (Sae) (Pb 2020) 511.3 KOM