Principles of Intuitionism
Anne S. Troelstra
₹2,674
Basic Proof Theory
by Anne S. Troelstra, A. S. Troelstra, H. Schwichtenberg
Cambridge University Press · 2000
₹5,341
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
Basic Proof Theory is written by Anne S. Troelstra, A. S. Troelstra & others. This edition from Cambridge University Press (2000) has 417 pages. It first appeared in 1996. The book is part of the Cambridge tracts in theoretical computer science series. This is the 2nd edition.
Topics covered include Proof theory.
Subjects
Book details
- ISBN-13
- 9780521779111
- ISBN-10
- 0521779111
- Authors
- Anne S. Troelstra, A. S. Troelstra, H. Schwichtenberg
- Publisher
- Cambridge University Press
- Published
- 2000
- First published
- 1996
- Series
- Cambridge tracts in theoretical computer science
- Edition
- 2nd ed.
- Pages
- 417
- Language
- English
- Condition
- New
More by Anne S. Troelstra and related titles
Bibliography of Natural History Travel Narratives
Anne S. Troelstra
₹3,292
Beckett's Political Imagination
Emilie Morin
₹4,369
Multi-Method Social Science
Jason Seawright
₹2,335
The Aesthetics of Grammar
Jeffrey P. Williams
₹7,391
The Frontier Complex
Kyle J. Gardner
₹4,348
The Trial of the Templars
Malcolm Barber
₹8,088
Architectures and Mechanisms for Language Processing
Matthew W. Crocker, Martin Pickering, Clifton Charles
₹4,421
Boundaries of Obligation in American Politics
Cara J. Wong
₹5,304
Modern Techniques of Surface Science
Delchasss Woodruff, T. A. Delchar, D. P. Woodruff
₹4,264
Religion in the Modern World
Keith Ward
₹10,736
The Cambridge Companion to George Bernard Shaw
Christopher Innes
₹2,866