Advances In Linear Logic by Girard, Jean-Yves
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.36 GIR.
Book details
- Author
- Girard, Jean-Yves
- Publisher
- Cambridge
- Year
- 2003
- ISBN
- 9780521559614
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.36 GIR | 340771 | Reference only (read in the library) |
Next to this on the shelf
- Profinite Semigroups And Symbolic Dynamics (Pb 2020) 511.36 ALM
- Mathematical Proofs: A Transition To Advanced Mathematics 511.36 CHA
- Applications Of Diophantine Approximation To Integral Points And Transcendence 511.36 COR
- Brouwer'S Cambridge Lectures On Intuitionism 511.36 DAL
- Advances In Linear Logic (this book)
- Bounded Arithmetic, Propositional Logic And Complexity Theory 511.36 KRA
- Forcing with random variables and proof complexity 511.36 KRA
- Proof analysis 511.36 NEG
- Handbook Of Mathematical Induction Theory And Applications 511.36 WAD