Logic for computer science
Subtitle: foundations of automatic theorem proving
By: Jean H. Gallier.
Series: Harper & Row computer science and technology series
Publisher: Harper & Row; Longman Higher Education
Published: 1986
Place of publication: New York, NY
Language: eng
Number of pages: 511
Subjects: Automatic theorem proving; Logic, Symbolic and mathematical
Notes: Includes bibliographies and indexes.