The syntax and semantics of infinitary languages - Barwise, Jon 1942-2000 (Springer, 1968)