Proof analysis by Negri, Sara, Von Plato, Jan
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.36 NEG.
Book details
- Author
- Negri, Sara, Von Plato, Jan
- Publisher
- Cambridge
- Year
- 2014
- Pages
- 278
- ISBN
- 9781107417236
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.36 NEG | 316913 | Reference only (read in the library) |
Next to this on the shelf
- Brouwer'S Cambridge Lectures On Intuitionism 511.36 DAL
- Advances In Linear Logic 511.36 GIR
- Bounded Arithmetic, Propositional Logic And Complexity Theory 511.36 KRA
- Forcing with random variables and proof complexity 511.36 KRA
- Proof analysis (this book)
- Handbook Of Mathematical Induction Theory And Applications 511.36 WAD
- Heterogeneous contributions to numerical cognition : learning and education in mathematical cognition 511.364 FIA
- Theory Of Translation Closedness For Time Scales With Applications In Translation Functions And Dynamic Equations (Pb 2021) 511.37 WAN
- Lecture on transcendental numbers 511.38 RAM