Mathematics

Taroccoesbrocco
18,534
reputation
9
34
77
  • Marseille, France
  • Member since November 09 2015
  • 3091 profile views
  • Last seen Jan 04 '26 at 07:29

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