Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.