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


18 years 46 weeks