HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:epsilon calculus

Publications
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
Copyright © 2012-2025 easychair.org. All rights reserved.