4 ms·I second the Eccles recommendation. It's a really great introduction to formal mathematics.by mattyb 17y agoI second the Eccles recommendation. It's a really great introduction to formal mathematics.