Provability, Computability and Reflection
Lev D. Beklemishev
₹2,923
Provability, Computability and Reflection
Proceedings of the 1972 Oslo symposium
Elsevier Science Ltd · 2000
₹3,953
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: Proceedings of the 1972 Oslo symposium by Lev D. Beklemishev is a 455-page book published by Elsevier Science Ltd in 2000. The book is part of the Studies in logic and the foundations of mathematics series.
The book deals with Congresses, Recursion theory, Fonctions récursives and Théorie récursivité.
Book details
- ISBN-13
- 9780444105455
- ISBN-10
- 044410545X
- Author
- Lev D. Beklemishev
- Publisher
- Elsevier Science Ltd
- Published
- 2000
- Series
- Studies in logic and the foundations of mathematics
- Pages
- 455
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Lev D. Beklemishev and related titles
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,575
Provability, Computability and Reflection
Lev D. Beklemishev
₹4,106
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,291
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,701
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,871
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,463
Computer Programming and Formal Systems
Lev D. Beklemishev
₹2,704
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,950
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,777
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,686
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,891