000 01436nam a2200397Ia 4500
001 ocn870334777
003 OCoLC
005 20180530134816.0
006 m o d
007 cr unu
008 140212s2014 njua sb 001 0 eng d
020 _z9780691160443
020 _z0691160449
020 _a9781400848751
020 _a140084875X
035 _a(OCoLC)870334777
037 _aCL0500000372
_bSafari Books Online
040 _aDLC
_beng
_cDLC
_dSafari Books Online, LLC
_dAU
049 _aAlfaisal Main Library
090 _aBC108
_b.L898 2014
100 1 _aLoveland, Donald W.
245 1 0 _aThree views of logic
_h[electronic resource] :
_bmathematics, philosophy, and computer science /
_cDonald W. Loveland, Richard E. Hodel, S.G. Sterrett.
260 _aPrinceton, NJ :
_bPrinceton University Press,
_cc2014.
300 _a1 online resource (xv, 322 p.) :
_bill.
588 _aDescription based on online resource; title from title page (Safari, viewed Jan. 20, 2014).
504 _aIncludes bibliographical references and index.
650 0 _aLogic.
650 0 _aLogic, Symbolic and mathematical.
655 7 _aElectronic books.
_2local
700 1 _aHodel, Richard E.
700 1 _aSterrett, S. G.
710 2 _aSafari eBooks.
856 4 0 _uhttp://ezproxy.alfaisal.edu/login?url=http://academic.safaribooksonline.com/?uiCode=sdl&xmlId=9780691160443
942 _2lcc
_cEBOOKS
994 _a02
_bUMI
264 _cc2014.
999 _c562635
_d562635