Cover Image

Logic for computer science : foundations of automatic theorem proving /

Bibliographic Details
Main Author: Gallier, Jean H.
Format: Book
Language:English
Published: New York, NY : Harper & Row, [1986]
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Description
Physical Description:xv, 511 pages ; 25 cm.
Bibliography:Includes bibliographies and indexes.
ISBN:0060422254