Logic for computer science foundations of automatic theorem proving

Opis bibliograficzny
1. autor:	Gallier, Jean H.
Format:	Książka
Język:	English
Wydane:	New York Harper & Row c1986.
Hasła przedmiotowe:	Automatic theorem proving. Logic, Symbolic and mathematical.