Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Leon Henkin

The Completeness of the First-Order Functional Calculus

Journal of Symbolic Logic

English