TY - BOOK AU - Delong Howard TI - Profile of mathematical logic U1 - 511.3 PY - 1970/// CY - London PB - Addison-Wesley Pub KW - Mathematical logic ER -