Dear colleagues, my Proof Complexity book was published in Cambridge yesterday: http://www.cambridge.org/9781108416849 The final manuscript will remain to be available at: http://www.karlin.mff.cuni.cz/~krajicek/prfdraft.html Best regards, Jan