RFV

140
reputation
6

I am studying the foundations of mathematics and computation theory.