Advances in Linear Logic
Jean-Yves Girard, Yves Lafont
₹5,809
Proof Theory and Logical Complexity
V. 1
Bibliopolis Edizioni di Filosofia e Scienze,Italy · 1987
₹3,424
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
Proof Theory and Logical Complexity: V. 1 is written by Jean-Yves Girard. This edition from Bibliopolis Edizioni di Filosofia e Scienze,Italy (1987) has 503 pages. It belongs to the Studies in proof theory series.
Topics covered include Proof theory.
Subjects
Book details
- ISBN-13
- 9788870881233
- ISBN-10
- 8870881237
- Author
- Jean-Yves Girard
- Published
- 1987
- Series
- Studies in proof theory
- Pages
- 503
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by Jean-Yves Girard and related titles
Adventures in Phenomenology
Eileen Rizo-Patron, Edward S. Casey, Jason M. Wirth
₹10,786
Cancer Chemotherapy
Franco M. Muggia
₹15,021
An Essay Concerning Human Understanding
John Locke
₹3,284
Foreign Policy and Party Politics
H. Bradford Westerfield
₹4,024
Epistemic Pluralism
UNKNOWN
₹9,265
Judicial Protection of Fundamental Rights on the Internet A Road Towards Digital Constitutionalism?
Oreste Pollicino
₹3,851
World Heritage
Roger White, John Carman
₹2,940
Water Conflicts in India
K.J. Joy, Suhas Paranjape, Biksham Gujja, Vinod Goud, Shruti Vispute
₹2,920
Congenital Heart Disease
Hideaki Senzaki, Satoshi Yasukochi
₹9,910
Practical Applications of Prostaglandins and Their Synthesis Inhibitors
Sultan M.M. Karim
₹9,934
HIV Interactions with Dendritic Cells
Schwartz Olivier Wu Li
₹4,086