TY - GEN AU - Delong, Howard TI - A profile of mathematical logic U1 - 164 PY - 1970/// CY - Massachusetts PB - Addison-Wesley KW - Logic ER -