RFV

831
reputation
8
22

I am studying the foundations of mathematics and computation theory.