The Problem of Interpreting Modal Logic.
Transfinite Ordinals in Recursive Number Theory.
Recursive Unsolvability of a Problem of Thue.
A Note on Quine's Principles of Quantification.
The Identity of Individuals in a Strict Functional Calculus of Second Order.
On the Reduction of the Decision Problem.
Ninth Meeting of the Association for Symbolic Logic.
DBLP : dblp-publications-1947.rdf
This ontology contains information detailing publications from dblp