Logic Lectures : Gödel’s basic logic course at Notre Dame

An edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. Gödel presumably inAn edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. Gödel presumably