00779nam a2200253Ia 4500001000700000003000500007005001700012008004100029010001500070015001500085020002900100035002000129040001800149050002500167082001400192100002700206245006100233260004000294300002600334490004000360504006400400650003800464653002300502123132BIBL20160527185822.0910208s1991    enk      b    001 0 eng    a 91009103   aGB91-33735  a0471927848c40.25 (U.S.)  a(OCoLC)23178272  aDLCcDLCdUKM00aQA76.9.A96bD84 199100a511.32201 aDuffy, David A.2Local10aPrinciples of automated theorem provingcDavid A. Duffy.  aChichesteraNew YorkbWileycc1991.  axviii, 243 p.c25 cm. 0aWiley professional computing2Local  aIncludes bibliographical references (p. 225-232) and index. 0aAutomatic theorem proving.2Local  aMathematical logic