Prix du livre Schoenfield 2022

05 mars 2023

L'Association for Symbolic Logic a décerné son prix du livre Shoenfield 2022.

Les prix Shoenfield sont « décernés pour des articles exceptionnels dans le domaine de la logique » et ont été créés en l'honneur de Joseph R. Shoenfield, un logicien influent décédé en 2000.

Le prix du livre Shoenfield a été décerné à Paolo Mancosu (Université de Californie, Berkeley), Sergio Galvan (Université catholique du Sacré-Cœur) et Richard Zach (Calgary) pour leur livre An Introduction to Proof Theory-Normalization, Cut-Elimination, and Consistency Proofs (Oxford University Press, 2021).

An introduction to proof theory—normalization, cut-elimination, and consistency proofs, Oxford University Press, Oxford, 2021. xii+418 pp
Paolo Mancosu, Sergio Galvan et Richard Zach

Traduction française par Y. Aggoune, D. Appadourai et A. Rolland, révisée par D. Waszek, Introduction à la théorie de la démonstrationÉlimination des coupures, normalisation et preuves de cohérence, Vrin « Mathesis », décembre 2022