You are here |
www.doctorsyntax.net | ||
| | | |
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... | |
| | | |
drawingmatter.org
|
|
| | | | Anthony Geraghty is an architectural historian witha long-standing interest in architectural drawing. His catalogue of the Wren officedrawings at All Souls College Oxford, first published in 2008, is now freely available online (http://library.asc.ox.ac.uk/wren/index.html). He is Professor of the History of Art at the University of York. | |
| | | |
delawareliberal.net
|
|
| | | | ||
| | | |
www.reinventingparking.org
|
|
| | Parking policy has never had a higher profile in the American blogosphere and econoblogs as it had this week. An avalanche of commentary a... |