The invention of λ-calculus


An essay on the invention of $\lambda$ calculus, as a PDF.