"he Syntax And Semantics Of Infinitary Languages" - читать интересную книгу автора (Barwise J.)