Written on 19 Marzo 2024.

Mancosu, Paolo An introduction to proof theory : normalization, cut-elimination, and consistency proofs Oxford, United Kingdom : Oxford University Press, 2021. xii, 418 p. QA9.54 M355