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.

Acknowledgements

I am indebted to Sam Buss (San Diego), Pietro Galliani (Bolzano) and Michal Garlik (St.Petersburg) for pointing out some of these errors.