Gallier, Jean H.
Logic for computer science foundations of automatic theorem proving by Jean H. Gallier - 1st ed. - New York Harper & Row 1986 - xv, 511 p. 25 cm.
Includes bibliographies
0060422254
Automatic theorem proving
Logic, Symbolic and mathematical
511.3 / GAL/1986
Logic for computer science foundations of automatic theorem proving by Jean H. Gallier - 1st ed. - New York Harper & Row 1986 - xv, 511 p. 25 cm.
Includes bibliographies
0060422254
Automatic theorem proving
Logic, Symbolic and mathematical
511.3 / GAL/1986