TY - BOOK AU - Barwise, Jon, ed. TI - Syntax and semantics of infinitary languages U1 - 510 L496B:S PY - 1968/// CY - Berlin PB - Springer-Verlag ER -