The Syntax and semantics of infinitary languages - Barwise, Jon (Springer, 1964)
En: Lecture notes in mathematics. Berlin, Springer, 1964- . v. 72.