TY - BOOK AU - Barwise Jon Ed. TI - Handbook of mathematical logic T2 - Studies in logic and the foundations of mathematical U1 - R14, L7 PY - 1977/// CY - Oxford PB - North Holland ER -