Logic for computer science : foundations of automatic theorem proving
Gallier, Jean H.
Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier. - New York John Wiley 1987 - xv, 511p.
0471615463
511.3 / N877
Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier. - New York John Wiley 1987 - xv, 511p.
0471615463
511.3 / N877