Richard Zach & Open Logic Project
Language: English
Kurt Gödel Logic incompleteness lambda calculus recursive functions
Published: Sep 1, 2025