Download or read book Formal Methods in Artificial Intelligence written by Allan Ramsay and published by CUP Archive. This book was released on 1988 with total page 300 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.