3 ms·
You mean lambda calculus? Or peano? For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).
by chewxy 8y ago
You mean lambda calculus? Or peano?
For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).