Completeness of the functional calculus of first order

DOI10.1007/BF02124774zbMath0067.25004MaRDI QIDQ766671

Juliusz Reichbach

Publication date: 1955

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (3)

Leon Henkin the Reviewer ⋮ The Lvov-Warsaw School: A True Mythology ⋮ The algebraic treatment of the methodology of elementary deductive systems

Cites Work

• Unnamed Item
• Über den auf Alternative und Negation aufgebauten Aussagenkalkül
• The completeness of the first-order functional calculus
• A proof of the completeness theorem of Grödel
• A proof of the Skolem-Löwenheim Theorem

This page was built for publication: Completeness of the functional calculus of first order