TY  - BOOK
AU  - Wolf, Robert S
TI  - A tour through mathematical logic
SN  - 883850362
U1  - 511.3 WOL 
PY  - 2005///
CY  - Washington, DC
PB  - Mathematical Association of America
KW  - Algebra, Abstract
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 375-379) and index
ER  -