Home » user account

JoshuaBall

Personal information


formal logic, intuitionistic logic, proof theory, type theory, categorical algebra (i.e. any "foundations of mathematics" type of stuff)

History


16 years 26 weeks