Computer Science Logic
Egon Börger, Gerhard Jäger, Hans Kleine Büning
₹5,666
Proofs and Types
by Yves Lafont, Jean-Yves Girard, Paul Taylor
Cambridge University Press · 1989 · Hardcover
₹3,446
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
Proofs and Types is written by Yves Lafont, Jean-Yves Girard & others. This hardcover edition from Cambridge University Press (1989) has 192 pages. The book is part of the Cambridge Tracts in Theoretical Computer Science series.
Topics covered include Computer programming, Symbolic and mathematical Logic, Type theory and Proof theory.
Book details
- ISBN-13
- 9780521371810
- ISBN-10
- 0521371813
- Authors
- Yves Lafont, Jean-Yves Girard, Paul Taylor
- Publisher
- Cambridge University Press
- Published
- 1989
- Series
- Cambridge Tracts in Theoretical Computer Science
- Binding
- Hardcover
- Pages
- 192
- Language
- English
- Condition
- New
More in Mathematical theory of computation
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Shojiro Sakata
₹5,638
Graph Separators, with Applications
Lenwood S. Heath, Arnold L. Rosenberg
₹7,728
Symbolic Computation and Automated Reasoning
Manfred Kerber, Michael Kohlhase
₹4,226
Coding Theory and Quantum Computing
American Mathem American Mathem
₹3,259
Introduction to the Theory of Computation
Eitan Gurari
₹4,350
Algorithmic Learning Theory
Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita
₹5,596
Mathematical Studies on Human Disease Dynamics
AMS-IMS-SIAM Joint Summer Research Conference on "Modeling the dynamics of human disease: emerging paradigms and challenges" (2005 Snowbird, Utah)
₹21,052
Integrated Formal Methods
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
₹5,756
Swat '90
John R. Gilbert, Rolf Karlsson
₹5,590
Iterative Krylov Methods for Large Linear Systems
Henk A. van der Vorst
₹3,592
Theoretical Computer Science
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
₹5,759