Completeness of the functional calculus of first order

DOI10.1007/BF02124774MaRDI QIDQ766671zbMATH OpenFDO

Authors Juliusz Reichbach

Publication date 1955

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3067654 (Why is no real title available?)
• A proof of the Skolem-Löwenheim Theorem
• A proof of the completeness theorem of Grödel
• The completeness of the first-order functional calculus
• Über den auf Alternative und Negation aufgebauten Aussagenkalkül

Cited in

(3)

• The Lvov-Warsaw school: a true mythology
• The algebraic treatment of the methodology of elementary deductive systems
• Leon Henkin the reviewer

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766671)