TY - BOOK AU - Barwise,John TI - Handbook of mathematical logic/edited by SN - 0-7204-2285-X U1 - 164 PY - 1977/// CY - New York PB - North-Holland Publishing Company KW - Mathematical logic N1 - v. 90 - studies in logic and the foundations of mathematics ER -