Automated Theorem Proving: A Logical BasisEbookAutomated Theorem Proving: A Logical BasisbyD.W. LovelandRating: 0 out of 5 stars0 ratingsSave Automated Theorem Proving: A Logical Basis for later