Department News

Congratulations Paolo Mancosu!

I am happy to share the news that Professor Paolo Mancosu and his coauthors have been awarded the 2022 Schoenfield Book Prize of the ASL for their work:

P. Mancosu, S. Galvan, R. Zach, An Introduction to Proof Theory—Normalization, Cut-Elimination, and Consistency Proofs. Oxford University Press, Oxford, 2021. xii+418 pp. ISBN: 978-0-19-289593-6; 978-0-19-289594-3

The Schoenfield Book Prize is awarded by the ASL every three years for “outstanding expository writing in the field of logic.” The formal announcement is here:

January 25, 2023