Barwise, Jon, ed. Syntax and semantics of infinitary languages - Berlin Springer-Verlag 1968 - 268 p. Dewey Class. No.: 510 L496B:S