Logic for computer science foundations of automatic theorem proving

Bibliografiska uppgifter
Huvudupphovsman:	Gallier, Jean H.
Materialtyp:	Bok
Språk:	English
Publicerad:	New York Harper & Row c1986.
Ämnen:	Automatic theorem proving. Logic, Symbolic and mathematical.