Beiträge zum Entscheidungsproblem der mathematischen Logik
From MaRDI portal
Publication:2645124
DOI10.1007/BF01565424zbMath0013.24110MaRDI QIDQ2645124
Publication date: 1936
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159835
Related Items
Sur les formes normales, Ein Verfahren der mathematischen Logik, On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate, 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
Cites Work