Ergebnisliste für GND-ID= "DE-588 118611127"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


Titel 1 - 10 von 10  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
International Summer Institute and Logic Colloquium (1974 : Kiel) ISILC Proof Theory Symposion / ed. by J. Diller .... - (Lecture notes in mathematics ; 500) 



1975 
     
2
Proof Theory Symposion (1974 : Kiel) Proof theory symposium. - (Lecture notes in mathematics ; 500) 



1975 
     
3
Proof Theory Symposion (1974 : Kiel) Proof Theory Symposion / ISILC. Ed. by J. Diller .... - (Lecture notes in mathematics ; 500) 



1975 
     
4
Schütte, Kurt, 1909-1998 Einführung der Normalfunktionen ohne Auswahlaxiom und ohne Regularitätsbedingung / Kurt Schütte



1975 
     
5
Schütte, Kurt, 1909-1998 Die Beziehungen zwischen den Ordinalzahlensystemen / von Kurt Schütte und Wilfried Buchholz



1975 
     
6
Diller, Justus [Herausgeber] ISILC proof theory symposium. - (Lecture notes in mathematics ; 500) 



1975 
     
7
Schütte, Kurt, 1909-1998 Ordinalterme auf der Grundlage von Normalfunktionen / Kurt Schütte



1973 
     
8
Schütte, Kurt, 1909-1998 Definition des Systems (N) / Kurt Schütte



1968 
     
9
Schütte, Kurt, 1909-1998 Beweistheorie / von Kurt Schütte. - (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 103) 



1960  227 GM: KrStBü
243 RS: StBü
60 DO: StLB
     
10
Schütte, Kurt, 1909-1998 A characterization of Takeuti’s ordinal diagrams of finite order / Kurt Schütte, Hilbert Levitz





     


Vorige Seite   Nächste Seite