@Misc{            Bauer06konigslemma,
  Author        = "Bauer, Andrej",
  date-added    = "2020-03-16 15:38:36 +0100",
  date-modified = "2020-03-16 15:38:36 +0100",
  Title         = {K{\"o}nig's Lemma and Kleene Tree},
  Year          = "2006",
  File          = "König’s Lemma and the Kleene Tree - kleene-tree - a - a - a - b.pdf"
}

@Misc{ Bauer06konigslemma, Author = "Bauer, Andrej", date-added = "2020-03-16 15:38:36 +0100", date-modified = "2020-03-16 15:38:36 +0100", Title = {K{\"o}nig's Lemma and Kleene Tree}, Year = "2006", File = "König’s Lemma and the Kleene Tree - kleene-tree - a - a - a - b.pdf" }

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