Taroccoesbrocco

15,460
reputation
9
25
62

I'm interested in Mathematical Logic, Lambda Calculus and Proof Theory. I also like to solve problems of any kind in mathematics.