@TechReport{      godel,
  Author        = {G{\"o}del, Kurt},
  date-added    = "2021-03-01 15:19:23 +0100",
  date-modified = "2021-03-01 15:19:42 +0100",
  Title         = "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I",
  Year          = "1930",
  File          = "On formally undecidable propositions of Principia Mathematica and related systems - Kurt\_Gödel\_On\_Formally\_Undecidable\_Propositions\_of\_Principia\_Mathematica\_and\_Related\_Systems\_1992 - h - h.pdf",
  file-2        = "On formally undecidable propositions of Principia Mathematica and related systems - goedel - h - h.pdf",
  file-3        = "On formally undecidable propositions of Principia Mathematica and related systems - canon00-goedel - h - h.pdf"
}

@TechReport{ godel, Author = {G{\"o}del, Kurt}, date-added = "2021-03-01 15:19:23 +0100", date-modified = "2021-03-01 15:19:42 +0100", Title = "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I", Year = "1930", File = "On formally undecidable propositions of Principia Mathematica and related systems - Kurt_Gödel_On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems_1992 - h - h.pdf", file-2 = "On formally undecidable propositions of Principia Mathematica and related systems - goedel - h - h.pdf", file-3 = "On formally undecidable propositions of Principia Mathematica and related systems - canon00-goedel - h - h.pdf" }