Proof Theory and Logical Complexity
Jean-Yves Girard
₹3,424
Advances in Linear Logic
by Jean-Yves Girard, Yves Lafont
Cambridge University Press · 1995
₹5,809
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Cambridge University Press in 1995, Advances in Linear Logic by Jean-Yves Girard & Yves Lafont runs to 389 pages. It belongs to the London Mathematical Society lecture note series series.
The book deals with Symbolic and mathematical Logic and Congresses.
Book details
- ISBN-13
- 9780521559614
- ISBN-10
- 0521559618
- Authors
- Jean-Yves Girard, Yves Lafont
- Publisher
- Cambridge University Press
- Published
- 1995
- Series
- London Mathematical Society lecture note series
- Pages
- 389
- Language
- English
- Condition
- New
More by Jean-Yves Girard and related titles
Form and Transformation
Gerry Webster, Brian Goodwin
₹5,527
Practical Conflicts
Peter Baumann, Monika Betzler
₹5,009
Court and Politics in Papal Rome, 1492 1700
Gianvittorio Signorotto, Maria Antonietta Visceglia, Gigliola Fragnito
₹4,851
Professional Development for Language Teachers
Richards
₹2,907
Fritz London
Kostas Gavroglu
₹4,065
Atkins' Molecules
Peter Atkins
₹4,684
Fungal Conservation
David Moore, Marijke M. Nauta
₹4,800
Wounds of Memory
Maja Zehfuss
₹6,085
Epigram
Niall Livingstone, Gideon Nisbet
₹3,079
The Psychology of Creative Writing
Scott Barry Kaufman, James C. Kaufman
₹4,349
Mathematics Meets Technology by Brian Bolt – Mechanism Design Mathematics
Brian Bolt
₹2,569