TY - BOOK AU - Enderton TI - A Mathematical Introduction To Logic U1 - 510 PY - 2006/// CY - Amsterdam PB - Elsevier ER -