EQ and the First Order Functional Calculus

• 1 January 1960
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 6  (7-14) , 217-218
• https://doi.org/10.1002/malq.19600060710

Abstract