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.