[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