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


OTHER LOGIC PAPERS OF INTEREST

 

Back to Gallier's books (complete list)

Back to Gallier Homepage



Jean Gallier
2003-6-6