Contributions to the reduction theory of the decision problem

DOI10.1007/BF02022553zbMath0039.24602MaRDI QIDQ5798793

L. Kalmár

Publication date: 1950

Published in: Acta Mathematica Academiae Scientiarum Hungaricae (Search for Journal in Brave)

zbMATH Keywords

reduction theory of decision problem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Contributions to the reduction theory of the decision problem

Cites Work

• Beiträge zum Entscheidungsproblem der mathematischen Logik
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Ein Verfahren der mathematischen Logik
• On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate

This page was built for publication: Contributions to the reduction theory of the decision problem