Logic for computer science foundations of automatic theorem proving

Bibliografiset tiedot
Päätekijä:	Gallier, Jean H.
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	New York Harper & Row c1986.
Aiheet:	Automatic theorem proving. Logic, Symbolic and mathematical.