"The Syntax and Semantics of Infinitary Languages" - читать интересную книгу автора (Jon Barwise)