ردهها book The Completeness of the First-Order Functional Calculus (1949) Participants: گسترشها Leon Henkin (1921 – 2006)