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