01052nam--2200349---450-9900003583602033160035836USA010035836(ALEPH)000035836USA01003583620010314d1978----km-y0itay0103----baengNL||||||||001yyAutomated theorem provina logical basisDonald W. LovelandAmsterdamNorth-Holland1978XII, 405 p.ill.23 cmFundamental studies in computer science62001Fundamental studies in computer science6001-------2001001.535LOVELAND,Donald W.47020ITsalbcISBD990000358360203316001.535 LOV10805001.53500104992BKSCIPATTY9020010314USA01122420020403USA011643PATRY9020040406USA011625Automated theorem provin876662UNISA