Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Boolean algebra
Publications
Hilbert Mathematics Versus (or Rather “Without”) Gödel Mathematics: V. Ontomathematics!
Vasil Penchev
EasyChair Preprint 13069
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
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem?
Vasil Penchev
EasyChair Preprint 9073
A new Glivenko Theorem
Majid Alizadeh
,
Mohammad Ardeshir
and
Wim Ruitenburg
In
:
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Copyright © 2012-2024 easychair.org. All rights reserved.