TY - RPRT TI - Logic Lectures: Gödel's Basic Logic Course at Notre Dame AU - Milos Adzic AU - Kosta Dosen PY - 2017 UR - https://arxiv.org/abs/1705.02601 ID - 1705.02601 ER -