TY  - BOOK
AU  - Wos Larry
AU  - Pieper Gail W
TI  - Fascinating country in the world of computing: your guide to automated reasoning
SN  - 981-02-3910-6
U1  - 511.3 
PY  - 1999///
CY  - Singapore
PB  - World Scientific
KW  - Mathematical logic
ER  -