Corrections and typos in my 2019 Proof Complexity book, and further remarks

Michal Garlik wrote a 3-page list of minor errors and misprints he noted while using the book in his St.Petersburg course in Fall 2020.

If you noticed some other errors please let me know.


I am indebted to Sam Buss (San Diego), Pietro Galliani (Bolzano), Michal Garlik (St.Petersburg), Raheleh Jalali (Amsterdam), Emil Jerabek (Prague) and Emre Yolcu (CMU) for pointing out some of these errors.