Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=107347407



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/107347407
Name Schütte, Kurt
Publikationen von Autoren mit diesem Namen 12 Publikationen
  1. Zur Beweistheorie von KPM
    Schütte, Kurt. - München : Beck, 1993
  2. Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Π12-Separation [Pi-Separation] und Bar-Induktion
    Schütte, Kurt. - München : Beck, 1987
  3. ...
Beteiligt an 2 Publikationen
  1. Proof Theory Symposion
    Proof Theory Symposion (1974 : Kiel). - Berlin, Heidelberg, New York : Springer, 1975
  2. Der Spezialist
    Sale, Charles. - Darmstadt : Rütten & Loening, [1951]





Treffer 1 von 1
< < > <


E-Mail-IconAdministration