![](/img/cover-not-exists.png)
A Variant of the Proof of the Completeness of the First Order Functional Calculus
Jerzy Słupecki and Witold A. PogorzelskiVolume:
12
Year:
1961
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20013687
File:
PDF, 882 KB
english, 1961