Computational Logic Seminar @TU Wien
For the information of the seminar, click here.
↓The slides with notes during the talk.
TUW2023_slides_with_notes_2023_6_21.pdf
One short remark respecting the question about the formalization of "Parity function" today (because I could not have an opportunity to talk about it more). As for the precise treatment of V^0_1(2), I encourage the audience to have a look at the section 9D (in which it is named as V^0(2)) of the following book:
Cook, S., & Nguyen, P. (2010). Logical foundations of proof complexity. New York, NY: Cambridge University Press, Perspectives in Logic.