114043-01
Henkin, Leon.
The Completeness of the First-Order Functional Calculus. SS. 159-166. In: Journal of Symbolic Logic. Vol. 14, No. 3.

(Princeton), The Association of Symbolic Logic, 1949. - (25,5 x 17,5 cm). SS. 145-208. Original-Broschur.

Erste Ausgabe. Hier sein berühmter Beweis des Gödelschen Vollständigkeitssatzes der Logik erster Stufe. - Gut erhalten