Metamathematics, Machines and Goedel's Proof

cover

@Book{            Shankar,
  Author        = "Shankar, N.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Keywords      = "computability theory",
  Title         = "Metamathematics, Machines and Goedel's Proof",
  File          = "Metamathematics, Machines and Goedel's Proof - Shankar (0) (0) - a - a.pdf"
}

@Book{ Shankar, Author = "Shankar, N.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Keywords = "computability theory", Title = "Metamathematics, Machines and Goedel's Proof", File = "Metamathematics, Machines and Goedel's Proof - Shankar (0) (0) - a - a.pdf" }