Model Theory for Infinitary Logic (1971)

by H Jerome Keisler
Venue:Studies in Logic and the Foundations of Mathematics