Logic for computer science foundations of automatic theorem proving

Bibliographic Details
Main Author:	Gallier, Jean H.
Format:	Book
Language:	English
Published:	New York Harper & Row c1986.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.