Kodifikation und Aussagenlogik

DOI10.1007/BF01982046zbMath0182.00602OpenAlexW2026969887MaRDI QIDQ5573354

Horst Luckhardt

Publication date: 1969

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137814

zbMATH Keywords

general logic

Cites Work

• Unnamed Item
• Unnamed Item
• Schlussweisen-Kalküle der Prädikatenlogik
• Extendible sentential calculus
• A remark concerning decidability of complete theories
• Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von Münster

This page was built for publication: Kodifikation und Aussagenlogik