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