Einkleidung der Mathematik in Schroderschen Relativkalkul.
The Calculus of Individuals and Its Uses.
Elimination of Extra-Logical Postulates.
Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions.
Sur Les Types Des Propositions Composees.
Postulates for the Calculus of Binary Relations.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1940.rdf
A Correction to Lewis and Langford's Symbolic Logic.
A Formulation of the Simple Theory of Types.
Proof That There are Infinitely Many Modalities in Lewis's System S2.