TY - BOOK AU - Barwise, Jon AU - TI - Syntax and semantics of infinitary languages T2 - Lecture notes in Mathematics U1 - 511.3 PY - 1968/// CY - Berlin PB - Springer-Verlag ER -