Model Theory for Infinitary Logic (1971)

by H J Keisler