
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,017

Elsevier Science Publishing Co Inc · 2000
Free delivery. Nothing extra to pay at checkout.
Contributions to Non-Standard Analysis by Lev D. Beklemishev is a 288-page book published by Elsevier Science Publishing Co Inc in 2000.
The book deals with Nonstandard mathematical analysis, Logique symbolique et mathématique, Symbolic and mathematical Logic and Congresses.