Zum Entscheidungsproblem des logischen Funktionenkalküls

DOI10.1007/BF01708881zbMath0008.28903MaRDI QIDQ4755550

Kurt Gödel

Publication date: 1933

Published in: Monatshefte für Mathematik und Physik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01708881

zbMATH Keywords

foundations, philosophy, logic

Related Items

Random models and solvable Skolem classes, Unnamed Item, Decidability of cylindric set algebras of dimension two and first-order logic with two variables, Combining enumeration and deductive techniques in order to increase the class of constructible infinite models, A note on the Entscheidungsproblem, Ein Verfahren der mathematischen Logik, On the reduction of the decision problem, Contributions to the reduction theory of the decision problem, Contributions to the reduction theory of the decision problem, Contributions to the reduction theory of the decision problem, Contributions to the reduction theory of the decision problem, The decision problem of modal product logics with a diagonal, and faulty counter machines, Solvable classes of pseudoprenex formulas, Beiträge zum Entscheidungsproblem der mathematischen Logik., Beiträge zum Entscheidungsproblem der mathematischen Logik, The Gödel class with identity is unsolvable, Random models and the Gödel case of the decision problem, Random models and the Maslov class, The unsolvability of the Gödel class with identity, A decidable subclass of the minimal Gödel class with identity, On the Gödel class with identity