Zum Entscheidungsproblem des logischen Funktionenkalküls

DOI10.1007/BF01708881zbMath0008.28903OpenAlexW1977939111MaRDI 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

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