Logo der Bayerischen Akademie der Wissenschaften

Publications by the academy, its research projects and institutes

  • Schütte, Kurt
  • Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Pi-1/2-Separation und Bar-Induktion
  • Sitzungsbericht der Bayerischen Akademie der Wissenschaften
  • 1987,2.
  • 3-7696-4720-3
  • BV001150105
  • 1987, Verl. d. Bayer. Akad. d. Wiss., München
  • S. [11] - 41 S.