Handbook of Proof Theory

cover

@Book{            prooftheoryHB,
  Author        = "AAVV",
  Editor        = "Buss, Samuel R.",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  Keywords      = "mathematical logic and proof theory",
  Publisher     = "Elsevier North-Holland, Inc.",
  Series        = "Studies in Logic and the Foundations of Mathematics",
  Title         = "Handbook of Proof Theory",
  Volume        = "137",
  Year          = "1998",
  File          = "Handbook of Proof Theory - AAVV (0) (0) - a - a.pdf",
  file-2        = "Handbook of Proof Theory - AAVV (1) (0) - a - a.pdf"
}

@Book{ prooftheoryHB, Author = "AAVV", Editor = "Buss, Samuel R.", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", Keywords = "mathematical logic and proof theory", Publisher = "Elsevier North-Holland, Inc.", Series = "Studies in Logic and the Foundations of Mathematics", Title = "Handbook of Proof Theory", Volume = "137", Year = "1998", File = "Handbook of Proof Theory - AAVV (0) (0) - a - a.pdf", file-2 = "Handbook of Proof Theory - AAVV (1) (0) - a - a.pdf" }