Logic for computer science : foundations of automatic theorem proving

Author(s)

• Gallier, Jean H.

Bibliographic Information

Logic for computer science : foundations of automatic theorem proving

Jean H. Gallier

University Microfilms International, 1994

facsim

Note

Includes index

This is an authorized facsimile made from the master copy of the original book

Original book is published in c1988 by J. Wiley

Details

• NCID: BA24363443
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Ann Arbor, Mich.
• Pages/Volumes: xv, 511 p.
• Size: 23 cm
• Classification:
  • LCC : QA76.9.A96
  • DC19 : 511.3
• Subject Headings:
  • LCSH : Automatic theorem proving
  • LCSH : Logic, Symbolic and mathematical