| _notes | |||
| time | |||
| ASL-2005.pdf | |||
| BAMA-2005.pdf | |||
| CambridgeSlidesJune2012.pdf | |||
| ConstructiveGeometrySlides.pdf | |||
| EdinburghSlides.pdf | |||
| FinitenessSlides.pdf | |||
| Jamaica.pdf | |||
| KobeGeometrySlides.pdf | |||
| LeidenSlides.pdf | |||
| LogicAndComputersSlides.pdf | |||
| MeaningOfExistence.pdf | |||
| ParallelIndependenceSlides.pdf | |||
| PellSlides.pdf | |||
| PellSlidesWCNT2022.pdf | |||
| PendulumEquation.pdf | |||
| Prague2019.pdf | |||
| ProofCheckingEuclidSlides.pdf | |||
| StanfordLogicSeminarApril2014.pdf | |||
| StanfordSlidesMarch2012.pdf | |||
| SummerSchool2019.pdf | |||
| Talks.html | |||
| TriangleTilingSlides.pdf | |||
| UtrechtSlidesJune2012.pdf | |||
| upl.php | |||
| webalizer.php |