Completeness of the functional calculus of first order

DOI10.1007/BF02124774zbMATH Open0067.25004MaRDI QIDQ766671FDOQ766671

Authors: Juliusz Reichbach 

Publication date: 1955

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• The completeness of the first-order functional calculus
• A proof of the completeness theorem of Grödel
• Über den auf Alternative und Negation aufgebauten Aussagenkalkül
• Title not available (Why is that?)
• A proof of the Skolem-Löwenheim Theorem

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)