Logic for computer science foundations of automatic theorem proving

Bibliografische gegevens
Hoofdauteur:	Gallier, Jean H.
Formaat:	Boek
Taal:	English
Gepubliceerd in:	New York Harper & Row c1986.
Onderwerpen:	Automatic theorem proving. Logic, Symbolic and mathematical.