Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen
Autor(en): | Eichholz, Thomas | Stichwörter: | Mathematics | Erscheinungsdatum: | 1957 | Herausgeber: | Springer Science+Business Media | Journal: | Archive for Mathematical Logic | Volumen: | 3 | Ausgabe: | 1-2 | Startseite: | 19 | Seitenende: | 28 | ISSN: | 0933-5846 | DOI: | https://doi.org/10.1007/bf01977150 |
Show full item record