Proof Theory And Algebra In Logic by Ono, Hiroakira
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 ONO.
Book details
- Author
- Ono, Hiroakira
- Publisher
- Springer Verlag
- Year
- 2019
- Pages
- 160
- ISBN
- 9789811379963
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 ONO | 229903 | Reference only (read in the library) |
Next to this on the shelf
- Godel'S Proof 511.3 NAG
- A Transition To Proof : An introduction to advanced mathematics 511.3 NIC
- Essential Math For Data Science: Take Control Of Your Data With Fundamental Linear Algebra, Probability, And Statistics 511.3 NIE
- Formal Languages In Logic 511.3 NOV
- Proof Theory And Algebra In Logic (this book)
- Competitive Biochemistry 511.3 OPG
- 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