Mathematical Logic and Model Theory by Prestel, Alexander
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 PRES.
Book details
- Author
- Prestel, Alexander
- Publisher
- Springer Nature
- Year
- 2011
- Pages
- 193
- ISBN
- 9781447174653
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 PRES | 314293 | Reference only (read in the library) |
Next to this on the shelf
- Logic and computation : interactive proof with Cambridge LCF 511.3 PAU
- The Beauty Of Fractals: Images Of Complex Dynamical Systems 511.3 PEI
- Can Mathematics Be Proved Consistent?: Gödel'S Shorthand Notes & Lectures On Incompleteness 511.3 PLA
- Proof Theory 511.3 POH
- Mathematical Logic and Model Theory (this book)
- An introduction to non-classical logic 511.3 PRI
- Graphical Set Theory And Symmetric Functions 511.3 RAK
- A Concise Introduction to Mathematical Logic, 511.3 RAU
- Formal Languages And Automata Theory 511.3 RED