TY - BOOK AU - Barwise Jon Ed. TI - Syntax and semantics of infinitary languages U1 - R14, K8 PY - 1968/// ER -