16 Results Found Subscribe to search results
000000000000MAIN
Print
1. 
Cover image for Discrete structures, logic, and computability
2. 
Cover image for Logics of specification languages
3. 
Cover image for Logic for computer scientists
4. 
Cover image for Adapting proofs-as-programs : the curry - howard protocol
5. 
Cover image for Logic and structured design for computer programmers
6. 
Cover image for Logic and structured design for computer programmers
10. 
Cover image for Introduction to logic programming
12. 
Cover image for Introduction to logic programming