3 ms·
Do you have a text you recommend on this approach to natural arithmetic?
by traderjane 8y ago
Do you have a text you recommend on this approach to natural arithmetic?
- chewxy 8y agoYou mean lambda calculus? Or peano? For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).