The Syntax and semantics of infinitary languages - Barwise, Jon (Springer, 1964)