Syntax and semantics of infinitary languages. - Barwise Jon Ed. (1968)