Skip to content

Provability, Computability and Reflection Vol. II

by Lev D. Beklemishev

Logic, symbolic and mathematical
Writing a summary for young readers…

For young readers

Book data: Open Library