TY  - BOOK
AU  - ^d20120112 12:10:41^oanne
TI  - Velleman Daniel J. 
SN  - 9.780521676e+012
AV  - QA 9 .V38 2006  
KW  - _Logic Symbolic and mathematical
N1  - Includes index
ER  -