|
You are here |
mml-book.com | ||
| | | | |
richardzach.org
|
|
| | | | | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780... | |
| | | | |
reasonabledeviations.com
|
|
| | | | | Academic blog about quantitative finance, programming, maths. | |
| | | | |
www.duckofminerva.com
|
|
| | | | | A discussion with Nina Kollars and Mark Raymond about the SolarWinds hack, recorded in March, 2021 | |
| | | | |
theconversation.com
|
|
| | | The nonpartisan arm of the Education Department supports research and shares data on student progress. It identifies what works and what doesn't. | ||