Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe

DOI10.1002/malq.19550010404zbMath0066.25701OpenAlexW2039435688MaRDI QIDQ3226748

Dieter Klaua

Publication date: 1955

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19550010404

zbMATH Keywords

philosophy and foundations of mathematics

This page was built for publication: Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe