On the Consistency of Quine's New Foundations for Mathematical Logic.
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit).
On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.
Fifth Meeting of the Association for Symbolic Logic.
Modalities in the Survey System of Strict Implication.
Definition by Induction in Quine's New Foundations for Mathematical Logic.
Note on a Recent Set of Postulates for the Calculus of Propositions.
An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit.
A Theorem on Deducibility for Second-Order Functions.
Fourth Meeting of the Association for Symbolic Logic.
The Hypothesis That Infinite Classes are Similar.
On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate.
DBLP : dblp-publications-1939.rdf
This ontology contains information detailing publications from dblp