00472nam a2200157 a 4500008004100000020002200041100001800063245006400081260004900145300003500194650003700229700002100266003000100287005001700288040000900305                                          a0201416433 (pbk.)1 aReeves, Steve10aLogic for computer science /cSteve Reeves, Michael Clarke.  aWorkingham, England :bAddison-Wesley,c1990  axi, 260 p. :bill. ;c24 cm.   1aLogic, Symbolic and mathematical  aClarke, Michael.20230123134135.0  cNUST