Über die Erfüllbarkeit einer Klasse von logischen Formeln
- 1 December 1935
- journal article
- research article
- Published by Springer Nature in Mathematische Annalen
- Vol. 110 (1) , 161-194
- https://doi.org/10.1007/bf01448023
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Zum Entscheidungsproblem der mathematischen LogikMathematische Annalen, 1928