Logic for computer science foundations of automatic theorem proving

Bibliografiske detaljer
Hovedforfatter:	Gallier, Jean H.
Format:	Bog
Sprog:	English
Udgivet:	New York Harper & Row c1986.
Fag:	Automatic theorem proving. Logic, Symbolic and mathematical.