Logic Lectures: Gödel's Basic Logic Course at Notre Dame

Milos Adzic, Kosta Dosen

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 note…