Corrections and missing details in my book

Forcing with random variables and proof complexity

If you noticed some other errors/misprints/unclear parts, please let me know.


I am indebted to Sam Buss (San Diego) for pointing out some of these errors. He had also some other comments on the book in his BLS review.

I thank Yuval Filmus (Toronto), Erfan Khaniki (Tehran) and Jan Maly (Vienna) for pointing out some errors and typos.