The Inconsistency of Certain Formal Logic.
Conditions Affecting the Application of Symbolic Logic.
The Combinatory Foundations of Mathematical Logic.
A Correction to the Sentential Calculus of Tarski's Introduction to Logic.
A Formal Theorem in Church's Theory of Types.
On Existence Conditions for Elements and Classes.
A System of Axiomatic Set Theory: Part IV. General Set Theory.
New Sets of Postulates for Combinatory Logics.
Seventh Meeting of the Association for Symbolic Logic.
A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis.
The Use of Dots as Brackets in Church's System.
DBLP : dblp-publications-1942.rdf
This ontology contains information detailing publications from dblp