Home
About
Finite of Sense and Infinite of Thought:
A History of Computation, Logic and Algebra
TLA
+
in Practice and Theory
press
ron
@pressron