@misc{indiciae0ffe8f2d36fd,
  title = {Logic Lectures: Gödel's Basic Logic Course at Notre Dame},
  author = {Milos Adzic and Kosta Dosen},
  year = {2017},
  url = {https://arxiv.org/abs/1705.02601},
  note = {Source identifier: 1705.02601}
}