Literatur
Siehez. B. P. Bernays und M. Schonfinkel, Zum Entscheidungsproblem der mathematischen Logik, Math. Annalen99 (1928).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schütte, K. Über die Erfüllbarkeit einer Klasse von logischen Formeln. Math. Ann. 110, 161–194 (1935). https://doi.org/10.1007/BF01448023
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01448023