[Proof Complexity] manuscript

Pavel Pudlak pudlak at math.cas.cz
Tue Jan 8 23:28:27 CET 2013


Dear friends,

in a few days I am going to send the manuscript of Logical Foundations ... 
to the publisher. If you had found errors or misprints, but have not sent 
them to me yet, please, do it now. I am grateful to those who already did 
it and I will acknowledge it in the book.

Note that the version on my web-page is not the final one. I am still 
working on indices, I need to add acknowledgments and more ...

Pavel


More information about the Proof-Complexity mailing list