TY - BOOK AU - Bell,J.L. TI - A Course In Mathematical Logic U1 - 511.3 BEL PY - 1977/// PB - North-Holland ER -