Richard Zach & Open Logic Project
Language: English
Logic Turing machines first-order logic set theory
Published: Sep 1, 2025