Logic for computer science foundations of automatic theorem proving

Détails bibliographiques
Auteur principal:	Gallier, Jean H.
Format:	Livre
Langue:	English
Publié:	New York Harper & Row c1986.
Sujets:	Automatic theorem proving. Logic, Symbolic and mathematical.