Leon Henkin (1921 – 2006) Participations: گسترشها The Completeness of the First-Order Functional Calculus The Completeness of the First-Order Functional Calculus 1949 author Leon Henkin جستارهای پیونددار completeness