Logic and Proof

cover

@Book{            avigad-lean,
  Author        = "Avigad, Jeremy and Lewis, Robert Y. and van Doorn, Floris",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Title         = "Logic and Proof",
  Year          = "2019",
  File          = "Logic and Proof - a - a - a.pdf",
  file-2        = "Logic and Proof - logic\_and\_proof - a.pdf"
}

@Book{ avigad-lean, Author = "Avigad, Jeremy and Lewis, Robert Y. and van Doorn, Floris", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Title = "Logic and Proof", Year = "2019", File = "Logic and Proof - a - a - a.pdf", file-2 = "Logic and Proof - logic_and_proof - a.pdf" }