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

Three languages and theories
Elsevier Science Ltd · 2000
Free delivery. Nothing extra to pay at checkout.
Published by Elsevier Science Ltd in 2000, Provability, Computability and Reflection: Three languages and theories by Lev D. Beklemishev runs to 203 pages. It first appeared in 1974. It belongs to the Studies in logic and the foundations of mathematics series.
Its main subjects are Algebraic logic and Proof theory.