Article PDF
Avoid common mistakes on your manuscript.
Literatur
P. Bernays und M. Schönfinkel, Zum Entscheidungsproblem der math. Logik, Math. Annalen99 (1928).
Die Symbolik ist die gleiche wie in: D. Hilbert u. W. Ackermann, Grundzüge der theoretischen Logik (Springer 1928) [zitiert im folgenden als H.-A.].
Vgl. H.-A., S. 79.
Vgl. Bernays und Schönfinkel, P. Bernays und M. Schönfinkel, Zum Entscheidungsproblem der math. Logik, Math. Annalen99 (1928) S. 3.
Vgl. H.-A., Seite 80.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ackermann, W. Über die Erfüllbarkeit gewisser Zählausdrücke. Math. Ann. 100, 638–649 (1928). https://doi.org/10.1007/BF01448869
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01448869