Logic for computer science : foundations of automatic theorem proving
Author(s)
Bibliographic Information
Logic for computer science : foundations of automatic theorem proving
(Harper & Row computer science and technology series, 5)
Harper & Row, c1986
Available at / 25 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes index