Welcome to E-Books Directory
This is a freely downloadable e-book.

Logic and Proof

Logic and Proof
by Lawrence C Paulson

Publisher: University of Cambridge 2002
Number of pages: 79

These lecture notes give a brief introduction to logic, with including the resolution method of theorem-proving and its relation to the programming language Prolog. Formal logic is used for specifying and verifying computer systems and (sometimes) for representing knowledge in Artificial Intelligence programs.

Home page url

Download or read it online here:

Download link

 (290KB, PDF)