Limit Search Results
Author
Subject
282 Results Found Subscribe to search results
000000000000MAIN
Print
49. 
Cover image for How to read and do proofs : an introduction to mathematical thought processes
51. 
Cover image for The oxford handbook of philosophy of mathematics and logic
52. 
Cover image for Adapting proofs-as-programs : the curry - howard protocol
53. 
Cover image for A tour through mathematical logic
54. 
Cover image for A tour through mathematical logic
55. 
Cover image for Fundamentals of mathematical logic
56. 
Cover image for Reasoning about uncertainty
57. 
Cover image for Logic and structure
58. 
Cover image for Logic functions and equations : binary models for computer science
59. 
Cover image for Reasoning about theoretical entities
60. 
Cover image for Mathematical logic for computer science