alligator
jean

Math

How Not to Be Wrong: The Power of Mathematical Thinking
Gödel's Proof
The Nature of Computation
An Introduction to Functional Programming Through Lambda Calculus
Mathematics for Computer Science