Keyword:epsilon calculus

Publications
Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs Matthias Baaz and Mariami Gamsakhurdia In:Proceedings of 16th International Workshop on the Implementation on Logics. Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (short papers)
On Translations of Epsilon Proofs to LK Matthias Baaz and Anela Lolic In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s “Completeness Paper” (1930) Vasil Penchev EasyChair Preprint 9551