@TechReport{      herbrand,
  Author        = "Buss, Samuel R.",
  date-added    = "2021-04-11 20:13:14 +0200",
  date-modified = "2021-04-11 20:20:15 +0200",
  Title         = "On Herbrand's Theorem",
  File          = "On Herbrand’s Theorem - paper - n.pdf"
}

@TechReport{ herbrand, Author = "Buss, Samuel R.", date-added = "2021-04-11 20:13:14 +0200", date-modified = "2021-04-11 20:20:15 +0200", Title = "On Herbrand's Theorem", File = "On Herbrand’s Theorem - paper - n.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge