List of Officers and Members of the Association for Symbolic Logic.
A Revision of the Fundamental Rules of Combinatory Logic.
Consistency and Completeness of the Theory of Combinators.
DBLP : dblp-publications-1941.rdf
This ontology contains information detailing publications from dblp
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.
A System of Axiomatic Set Theory - Part II.