Logic for computer science : foundations of automatic theorem proving / by Jean H. Gallier.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780486780825 (pbk)
- 005.432 GAL/L
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.