Logic for computer science foundations of automatic theorem proving

Bibliografske podrobnosti
Glavni avtor:	Gallier, Jean H.
Format:	Knjiga
Jezik:	English
Izdano:	New York Harper & Row c1986.
Teme:	Automatic theorem proving. Logic, Symbolic and mathematical.