Homework 11 (due Thursday 22 November)
Exercise on Page 39, Section 47 of the lecture notes. Exercise: Suppose T is an effectively formalized extension of N. All the notions like Prv refer to ...
ads
Exercise on Page 39, Section 47 of the lecture notes. Exercise: Suppose T is an effectively formalized extension of N. All the notions like Prv refer to ...
ads