LEADER 00000cam a2200265 a 4500 001 u9726 001 9695 003 SIRSI 005 20071209145600.0 008 030907s1997 enk000000b000000110deng0d 020 0133963756 049 FUJA JURF 050 00 QA76|bK396 1997 100 1 Kelly, John J 245 14 The Essence of Logic /|cJohn J. Kelly. 260 Harlow (England) :|bPrentice Hall ,|c1997 300 xiv,258p. ;|c20cm. 440 0 Essence of computing 504 Includes bibliographical references and index. 650 0 Computer science 650 0 Logic, Symbolic and mathematical
|