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

by William Hanf
Venue:In Symposium in the Theory of Models