Logic for Computer Scientists
Author:Schöning, Uwe
ISBN-13:
9780817634537
ISBN:
0817634533
Publisher: Springer Verlag
Summary: "Contains examples and 126 interesting exercises which put the student in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming." a?Mathematical Reviews
- Used $12.32
- New $56.17
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?


