Logic for computer science foundations of automatic theorem proving

Podrobná bibliografie
Hlavní autor:	Gallier, Jean H.
Médium:	Kniha
Jazyk:	English
Vydáno:	New York Harper & Row c1986.
Témata:	Automatic theorem proving. Logic, Symbolic and mathematical.