A Revision of the Fundamental Rules of Combinatory Logic.
A System of Axiomatic Set Theory - Part II.
The Independence of Quine's Axioms *200 and *201.
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.
List of Officers and Members of the Association for Symbolic Logic.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1941.rdf
Consistency and Completeness of the Theory of Combinators.