Proof Theory by Pohlers, Wolfram
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 POH.
Book details
- Author
- Pohlers, Wolfram
- Publisher
- Springer Nature
- Year
- 1989
- Pages
- 213
- ISBN
- 9783662600610
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 POH | 314121 | Reference only (read in the library) |
Next to this on the shelf
- Introduction To Category Therory 511.3 OTT
- 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 (this book)
- Mathematical Logic and Model Theory 511.3 PRES
- 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