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: https://aslonline.org/other-information/prizes-and-awards/shoenfield-prize-recipients/
January 25, 2023