Gödel’s Introduction to Deduction

This is a companion to a paper entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with the contents of Gödel’s unpublished notes for the elementary logic course he gave in 1939 at the University of Notre Dame. Here one finds brief indications of the background leading up to that course, which is followed by some comments on selected issues we treated in the previous paper.