| #2 |  How Not to Be Wrong: The Power of Mathematical Thinking
| 4.01 | 64 reads | |
| #3 |  Gödel's Proof
| 4 | 15 reads | |
| #4 |  The Nature of Computation
| 0 | 0 reads | |
| #5 |  An Introduction to Functional Programming Through Lambda Calculus
| 3.5 | 2 reads | |
| #6 |  Mathematics for Computer Science
| 4 | 1 read |