@PhdThesis{       TuringPhD,
  Author        = "Turing, Alan",
  date-added    = "2020-10-17 14:59:09 +0200",
  date-modified = "2020-10-17 14:59:34 +0200",
  Title         = "Systems of logic based on ordinals",
  Year          = "1938",
  File          = "Systems of logic based on ordinals - turing-phd - a - a.pdf"
}

@PhdThesis{ TuringPhD, Author = "Turing, Alan", date-added = "2020-10-17 14:59:09 +0200", date-modified = "2020-10-17 14:59:34 +0200", Title = "Systems of logic based on ordinals", Year = "1938", File = "Systems of logic based on ordinals - turing-phd - a - a.pdf" }