Provability, Computability and Reflection
Lev D. Beklemishev
₹4,031
Computer Programming and Formal Systems
Elsevier Science Ltd · 2000
₹2,704
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
Computer Programming and Formal Systems by Lev D. Beklemishev is a 160-page book published by Elsevier Science Ltd in 2000. The book is part of the Studies in logic and the foundations of mathematics series.
Its main subjects are Computer programming and Programmation (Ordinateurs).
Book details
- ISBN-13
- 9780444534002
- ISBN-10
- 0444534008
- Author
- Lev D. Beklemishev
- Publisher
- Elsevier Science Ltd
- Published
- 2000
- Series
- Studies in logic and the foundations of mathematics
- Pages
- 160
- Language
- English
- Condition
- New
- Subject
- Computer programming
More by Lev D. Beklemishev and related titles
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,999
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,698
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,980
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,014
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,556
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,566
Provability, Computability and Reflection
Lev D. Beklemishev
₹4,106
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,843
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,786
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,953
Provability, Computability and Reflection
Lev D. Beklemishev
₹2,886