Peter Smith
↑ 2 References
The meta-mathematics that might be considered the foundations of math and logic. First heard the term from Peter Smith.
The meta-mathematics that might be considered the foundations of math and logic. First heard the term from Peter Smith.