Logic for Computer Science:
Foundations of Automatic Theorem Proving

Jean Gallier

A corrected version of the original Wiley edition (pp. 511, 1986) is going to be published by Dover in 2014.


REVISED DOVER EDITION (2014)

Terms and Conditions


ERRATA TO 1985 EDITION


OTHER LOGIC PAPERS OF INTEREST

 

Back to Gallier's books (complete list)

Back to Gallier Homepage



Jean Gallier
2003-6-6