Logic for Computer Science:

Foundations of Automatic Theorem Proving

Second Edition

Jean Gallier

A corrected version of the original Wiley edition (pp. 511, 1986), published by Dover, June 2015.

DOVER EDITION (June 2015)

Terms and Conditions

By downloading these files you are agreeing to the following conditions of use: Copyright 2015 by Jean Gallier. This material may be reproduced for any educational purpose, multiple copies may be made for classes, etc. Charges, if any, for reproduced copies must be no more than enough to recover reasonable costs of reproduction. Reproduction for commercial purposes is prohibited. The cover page, which contains these terms and conditions, must be included in all distributed copies. It is not permitted to post this book for downloading in any other web location, though links to this page may be freely given.

Preface, Table of Contents (pdf)

OTHER LOGIC PAPERS OF INTEREST

Back to Gallier's books (complete list)

Back to Gallier Homepage





Jean Gallier

2003-6-6