Dear comp.lang.prologers,

Could anyone of you suggest a good textbook introducing formal logic
and its application to automated theorem proving, and automated
reasoning in general.

I am specifically interested in the application of automated reasoning
to the synthesis of hardware systems from formal specifications.

Thanks a lot, Fabien

PS.Apologies for those of you having already read that message
cross-posted to sci.logic.

Automated Reasoning: Introduction and Applications, 2nd ed.
   by L. Wos, R. Overbeek, R. Lusk, J. Boyle
   McGraw Hill, 1992

      From the automated reasoning group at Argonne Natl Laboratory
      just west of Chicago. Comes with a copy of their Otter system,
      also available at http://www-unix.mcs.anl.gov/AR/otter/.
      Includes a section on digital logic verification.

* Nick Geovanis         Ignorance and blind passions abound, pervading
| IT Computing Svcs        everywhere like particles of dust.
| Northwestern Univ     Desire and hatred arising out of conflict and

+------------------->            -- Shinran Shonin