LEADER 00000cam  2200000 a 4500 
001       99052220 
008    991008s2000    nju      b    001 0 eng   
010    99052220 
020    0130107050 
040    DLC|cDLC|dAS|dMATH|dEAS 
050 00 QA76.9.L63|bL43 2000 
082 00 005.1/01/5113|221 
100 1  Leary, Christopher C.,|d1957- 
245 12 A friendly introduction to mathematical logic /
       |cChristopher C. Leary 
260    Upper Saddle River, NJ :|bPrentice Hall,|cc2000 
300    xiv, 218 p. ;|c24 cm 
504    Includes bibliographical references and index 
650  0 Computer logic 
650  0 Logic, Symbolic and mathematical