Logo der Bayerischen Akademie der Wissenschaften

Publications by the academy, its research projects and institutes

  • Buchholz, Wilfried
  • Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Pi-Separation und Bar-Induktion
  • Sitzungsbericht der Bayerischen Akademie der Wissenschaften
  • 1983,3
  • 3-7696-4706-8
  • BV000364796
  • 1983, Verl. d. Bayer. Akad. d. Wiss., München
  • S. 100 - 132 S.