Model-theoretic methods in the study of elementary logic (1965)

by W Hanf