TY  - BOOK
AU  - Loveland, Donald W.
AU  - Hodel, Richard E.
AU  - Sterrett, S G.
TI  - Three views of logic: mathematics, philosophy, and computer science
PY  - 2014///
CY  - Princeton, New Jersey
PB  - Princeton University Press, 
N1  - Includes bibliographical references and index
ER  -