Syntax and semantics of infinitary languages - Barwise, Jon, ed. (Berlin Springer-Verlag, 1968)