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

Proceedings of the Logic Colloquium, Hannover 1966
Elsevier Science Ltd · 2000
Free delivery. Nothing extra to pay at checkout.
Published by Elsevier Science Ltd in 2000, Provability, Computability and Reflection: Proceedings of the Logic Colloquium, Hannover 1966 by Lev D. Beklemishev runs to 297 pages.
Its main subjects are Symbolic and mathematical Logic and Congresses.