▲ 3 pointsShadows of the Truth: Metamathematics of Elementary Mathematics [pdf]borovik.netby nill0·1y ago·0 comments·view on hn ↗