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) and Michal Garlik (St.Petersburg) for pointing out some of these errors.