Some interconnections between modern algebra and mathematical logic (1953)

by L Henkin
Venue:Transactions of the American Mathematical Society