Addendum to the Article Implication and Deducibility.
A System of Formal Logic Without an Analogue to the Curry W Operator.
List of Officers and Members of the Association for Symbolic Logic.
Correction to a Note on the Entscheidungsproblem.
Extensions of Some Theorems of Godel and Church.
Finite Combinatory Processes-Formulation 1.
Constructibility as a Criterion for Existence.
This ontology contains information detailing publications from dblp
DBLP : dblp-publications-1936.rdf