"Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62)" - читать интересную книгу автора (H. J. Keisler)