A variant of the proof of the completeness of the first order functional calculus

DOI10.1007/BF02126825zbMath0156.00701MaRDI QIDQ2526927

Witold A. Pogorzelski, Jerzy Słupecki

Publication date: 1961

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

zbMATH Keywords

mathematical logic

Related Items (4)

Jerzy Słupecki (1904-1987): Life and work ⋮ Jerzy Słupecki (1904–1987) ⋮ Theory of rejected propositions. I ⋮ The theory of rejected propositions. II

This page was built for publication: A variant of the proof of the completeness of the first order functional calculus