TY  - BOOK
AU  - Loveland Donald W.
AU  -  Hodel Richard E.
AU  -  Sterrett S. G.
TI  - Three views of logic :  Mathematics,Philosophy and Computer Science
U1  - R1, Q4 
PY  - 2014///
CY  - Princeton
PB  - Princeton University Press     
KW  - I I C
ER  -