Zuruckfuhrung Des Entscheidungsproblems Auf Den Fall Von Formeln Mit Einer Einzigen, Binaren, Funktionsvariablen.
Journal of Symbolic Logic - United Kingdom
doi 10.2307/2268825
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 1937
Authors
Publisher
Cambridge University Press (CUP)