TY  - BOOK
AU  - Enderton, Herbert B
TI  - A mathematical introduction to logic
SN  - 9780122384523
SN  - 110670
U1  - 511.3 END 
PY  - 2001///
CY  - San Diego
PB  - Harcourt/Academic Press
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 307-308) and index
ER  -