Provability, Computability and Reflection
Lev D. Beklemishev
₹3,953
Provability, Computability and Reflection
Elsevier Science Ltd · 2000
₹2,886
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 Elsevier Science Ltd in 2000, Provability, Computability and Reflection by Lev D. Beklemishev runs to 367 pages. It belongs to the Studies in logic and the foundations of mathematics series.
Its main subjects are Proof theory.
About the author: Gaisi Takeuti (born 1926).
Subjects
Book details
- ISBN-13
- 9780444104922
- ISBN-10
- 0444104925
- Author
- Lev D. Beklemishev
- Publisher
- Elsevier Science Ltd
- Author dates
- Gaisi Takeuti (born 1926)
- Published
- 2000
- Series
- Studies in logic and the foundations of mathematics
- Pages
- 367
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Lev D. Beklemishev and related titles
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,699
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,014
Provability, Computability and Reflection
Lev D. Beklemishev
₹4,103
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,777
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,556
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,003
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,953
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,738
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,623
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,748
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,165