Lambda Calc, Peano Axioms, & Recreating Maths

Computer Science Math
, , , ,
21

6 posts were split to a new topic: Ancient computers