000 01550nam a2200397Ia 4500
001 EBC430395
003 MiAaPQ
005 20240120130941.0
006 m o d |
007 cr cn|||||||||
008 960731s1996 nyua sb 001 0 eng d
010 _z 95041885
020 _z9780195104271
020 _z0195104277 (cloth : alk. paper)
035 _a(MiAaPQ)EBC430395
035 _a(Au-PeEL)EBL430395
035 _a(CaPaEBR)ebr10358360
035 _a(CaONFJC)MIL53375
035 _a(OCoLC)435911853
040 _aMiAaPQ
_cMiAaPQ
_dMiAaPQ
050 4 _aQA9
_b.L624 1996
245 0 0 _aLogical reasoning with diagrams
_h[electronic resource] /
_cedited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.].
260 _aNew York :
_bOxford University Press,
_c1996.
300 _axv, 270 p. :
_bill.
490 1 _aStudies in logic and computation
504 _aIncludes bibliographical references and index.
533 _aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 0 _aKnowledge representation (Information theory)
650 0 _aLogic, Symbolic and mathematical
_vCharts, diagrams, etc.
655 4 _aElectronic books.
700 1 _aAllwein, Gerard,
_d1956-
700 1 _aBarwise, Jon.
710 2 _aProQuest (Firm)
830 0 _aStudies in logic and computation.
856 4 0 _uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=430395
_zClick to View
999 _c41061
_d41061