Switch to list view
Switch to thumbnail view
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
7. 
Cover image for Temporal logics and their applications
10. 
Cover image for Introduction to logic programming
12. 
Cover image for Introduction to logic programming
Go to:Search Results
|
Top of Page
|
Search Facets