The Discovery Of My Completeness Proofs (1996)

by Leon Henkin, Alonzo Church
Venue:Bulletin of Symbolic Logic