@Article{         avigad:godel,
  Author        = "Avigad, Jeremy",
  date-added    = "2020-03-27 15:31:15 +0100",
  date-modified = "2020-03-27 15:33:27 +0100",
  Month         = "01",
  Title         = "Godel and the metamathematical tradition",
  Year          = "2010",
  File          = "Godel and the metamathematical tradition - goedel - a - a - a - b.pdf"
}

@Article{ avigad:godel, Author = "Avigad, Jeremy", date-added = "2020-03-27 15:31:15 +0100", date-modified = "2020-03-27 15:33:27 +0100", Month = "01", Title = "Godel and the metamathematical tradition", Year = "2010", File = "Godel and the metamathematical tradition - goedel - a - a - a - b.pdf" }