For advancing proof tech? Or.. for like analysis, algebra, and number theory?
for the foundations of mathematics
Please Login to reply.
No replies yet.
