A Demonstrably Consistent Mathematics - Part II.
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus.
On Sentences Which are True of Direct Unions of Algebras.
On the Rules of Proof in the Pure Functional Calculus of the First Order.
Thirteenth Meeting of the Association for Symbolic Logic.
On the Semantic Non-Completeness of Certain Lewis Calculi.
A Theorem About Infinite-Valued Sentential Logic.
Strong Completeness of Fragments of the Propositional Calculus.
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.
Algebraische und Logistische Untersuchungen Über Freie Verbände.
DBLP : dblp-publications-1951.rdf
This ontology contains information detailing publications from dblp