Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen

Loading next page...

References (4)

Paolo Mancosu
Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem
Mathematische Annalen, 88
R. Goodstein, D. Hilbert, W. Ackermann (1928)
Grundzüge der theoretischen Logik
The Journal of Philosophy, 35
P. Bernays, M. Schönfinkel (1928)
Zum Entscheidungsproblem der mathematischen Logik
Mathematische Annalen, 99
Leopold Löwenheim (1915)
Über Möglichkeiten im Relativkalkül
Mathematische Annalen, 76

Publisher: Springer Journals
Subject: Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN: 0933-5846
eISSN: 1432-0665
DOI: 10.1007/BF01977150
Publisher site: See Article on Publisher Site