Provability, Computability and Reflection
Lev D. Beklemishev
₹3,483
Provability, Computability and Reflection
An Introduction
Elsevier Science Ltd · 2000
₹3,575
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
Provability, Computability and Reflection: An Introduction by Lev D. Beklemishev is a 132-page book published by Elsevier Science Ltd in 2000.
Topics covered include Intuitionistic mathematics and Symbolic and mathematical Logic.
About the author: A. Heyting (born 1898).
Book details
- ISBN-13
- 9780444533821
- ISBN-10
- 0444533826
- Author
- Lev D. Beklemishev
- Publisher
- Elsevier Science Ltd
- Author dates
- A. Heyting (born 1898)
- Published
- 2000
- Pages
- 132
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Lev D. Beklemishev and related titles
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,717
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,816
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,566
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,777
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,671
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,865
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,950
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,701
Provability, Computability and Reflection
Lev D. Beklemishev
₹4,103
Provability, Computability and Reflection
Lev D. Beklemishev
₹4,031
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,216