We continue our gradual entry into proof theory by talking about reflecting meta-logical reasoning into logical rules, and naming the three basic proof systems (Hilbert-style, natural deduction, and sequent calculus).

Advertising for the October 3-session Zoom mini-course on normalization continues.  Email me if you are interested!  This is just for ITTC listeners.

Finally, if you like the podcast and want to support it, would you consider a small ($5 or $10 is great) donation?  This is not so much to cover the $12/month hosting fee at Buzzsprout but to get some kudos here at my institution, so people here know that I have a podcast [grin] and that listeners like it.  To donate, go here, then choose "Colleges", then "College of Liberal Arts and Sciences", and then tick "Computer Science Development Fund".  For "gift details", please leave "gift instructions" that say the gift is for Aaron Stump for the Iowa Type Theory Commute podcast.  Then the money will get to the right place for me to use it for this.  Thanks a lot in advance!