Chapters on bounded arithmetic & on provability logic door D. Zambella