A Demonstrably Consistent Mathematics - Part II.
On Sentences Which are True of Direct Unions of Algebras.
On the Semantic Non-Completeness of Certain Lewis Calculi.
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.
A Theorem About Infinite-Valued Sentential Logic.
On the Rules of Proof in the Pure Functional Calculus of the First Order.
Thirteenth Meeting of the Association for Symbolic Logic.
On the Interpretation of Non-Finitist Proofs - Part I.
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.
Arithmetical Definability of Field Elements.
Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness.
Strong Completeness of Fragments of the Propositional Calculus.
Algebraische und Logistische Untersuchungen Über Freie Verbände.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1951.rdf