TY  - BOOK
AU  - Loveland,Donald W.
AU  - Hodel,Richard E.
AU  - Sterrett,S.G.
ED  - Safari eBooks.
TI  - Three views of logic: mathematics, philosophy, and computer science 
PY  - 2014///
KW  - Logic
KW  - Logic, Symbolic and mathematical
KW  - Electronic books
KW  - local
N1  - Includes bibliographical references and index
UR  - http://ezproxy.alfaisal.edu/login?url=http://academic.safaribooksonline.com/?uiCode=sdl&xmlId=9780691160443
ER  -