4 ms·Feferman's Virtual Book: Logic, Mathematics, and Conceptual Structuralism1 points by furcyd 5y ago