RFV

141
reputation
6

I am studying the foundations of mathematics and computation theory.