The discovery of my completeness proofs (1996)

by Leon Henkin
Venue:The Bulletin of Symbolic Logic