Logic for computer science : foundations of automatic theorem proving
Author(s)
Bibliographic Information
Logic for computer science : foundations of automatic theorem proving
(Dover books on mathematics)
Dover Publications, 2015
2nd ed
- : pbk.
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.