Untersuchungen zum Entscheidungsproblem der mathematischen Logik
From MaRDI portal
Publication:1839892
DOI10.1007/BF01449155zbMath0009.00201OpenAlexW98589569WikidataQ57074395 ScholiaQ57074395MaRDI QIDQ1839892
Publication date: 1934
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159697
Related Items (8)
Random models and solvable Skolem classes ⋮ On the Decision Problem for Two-Variable First-Order Logic ⋮ Skolem reduction classes ⋮ Random models and the Gödel case of the decision problem ⋮ On the Gödel class with identity ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Memories of Kurt Schütte and the logic group in Munich: A personal report ⋮ The unsolvability of the Gödel class with identity
Cites Work
This page was built for publication: Untersuchungen zum Entscheidungsproblem der mathematischen Logik
