Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.
Archiv für mathematische Logik und Grundlagenforschung (1957)
- Volume: 3, page 19-28
- ISSN: 0003-9268
Access Full Article
topHow to cite
topEichholz, Thomas. "Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.." Archiv für mathematische Logik und Grundlagenforschung 3 (1957): 19-28. <http://eudml.org/doc/137731>.
@article{Eichholz1957,
author = {Eichholz, Thomas},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {philosophy and foundations of mathematics},
pages = {19-28},
title = {Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.},
url = {http://eudml.org/doc/137731},
volume = {3},
year = {1957},
}
TY - JOUR
AU - Eichholz, Thomas
TI - Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1957
VL - 3
SP - 19
EP - 28
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/137731
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.