WorldCat Identities

Schütte, K. (Kurt)

Overview
Works: 86 works in 182 publications in 5 languages and 2,339 library holdings
Genres: Conference proceedings  Bibliography 
Roles: Editor, Honoree, Creator
Classifications: QA9, 511.3
Publication Timeline
Key
Publications about  K Schütte Publications about K Schütte
Publications by  K Schütte Publications by K Schütte
posthumous Publications by K Schütte, published posthumously.
Most widely held works by K Schütte
Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966 by H. Arnold Schmidt ( Book )
16 editions published between 1968 and 2000 in 3 languages and held by 474 WorldCat member libraries worldwide
Provability, Computability and Reflection
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by Justus Diller ( Book )
9 editions published in 1975 in English and German and held by 449 WorldCat member libraries worldwide
Proof theory by K Schütte ( Book )
19 editions published between 1976 and 1977 in 3 languages and held by 414 WorldCat member libraries worldwide
Vollständige Systeme modaler und intuitionistischer Logik by K Schütte ( Book )
14 editions published in 1968 in German and held by 359 WorldCat member libraries worldwide
Beweistheorie by K Schütte ( Book )
13 editions published in 1960 in German and Greek, Modern and held by 348 WorldCat member libraries worldwide
Proof theory of impredicative subsystems of analysis by Wilfried Buchholz ( Book )
6 editions published in 1988 in English and held by 73 WorldCat member libraries worldwide
Lecture notes in mathematical logic by K Schütte ( Book )
4 editions published in 1962 in English and held by 70 WorldCat member libraries worldwide
ISILC proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthdate (Kiel, 1974) ( Book )
2 editions published in 1975 in English and held by 11 WorldCat member libraries worldwide
Contributions to mathematical logic : proceedings by Logic Colloquium ( Book )
4 editions published in 1968 in English and held by 10 WorldCat member libraries worldwide
ISILC proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday ( Book )
1 edition published in 1975 in English and held by 8 WorldCat member libraries worldwide
Bestimmung eines astronomischen Azimutes auf dem neuen magnetischen Observatorium in Fürstenfeldbruck bei München ( Book )
1 edition published in 1939 in German and held by 5 WorldCat member libraries worldwide
Eine syntaktische Abgrenzung der CA-Analysis by Gerhard Jäger ( Book )
2 editions published between 1979 and 1980 in German and held by 4 WorldCat member libraries worldwide
Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit P12-Separation [Pi-Separation] und Bar-Induktion : [Sitzung vom 12. Dezember 1986] by K Schütte ( Book )
2 editions published in 1987 in German and held by 4 WorldCat member libraries worldwide
Proof theory : Kurt Schutte by K Schütte ( Book )
1 edition published in 1976 in English and held by 4 WorldCat member libraries worldwide
Primitiv-rekursive Ordinalzahlfunktionen by K Schütte ( Book )
3 editions published between 1975 and 1976 in German and Undetermined and held by 4 WorldCat member libraries worldwide
Zur Beweistheorie von KPM : vorgetragen in der Sitzung vom 08. Januar 1993 by K Schütte ( Book )
2 editions published between 1993 and 1994 in German and held by 3 WorldCat member libraries worldwide
Lecture notes in mathematical logic by K Schütte ( Book )
3 editions published in 1962 in English and Undetermined and held by 3 WorldCat member libraries worldwide
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis by Wilfried Buchholz ( Book )
2 editions published between 1980 and 1981 in German and held by 3 WorldCat member libraries worldwide
Axiomatische Mengenlehre : Vorlesung, geh. im Wintersemester 1969/70 an d. Univ. München by K Schütte ( Book )
1 edition published in 1970 in German and held by 3 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.00 for ISILC Proo ... to 0.95 for Lecture no ...)
Alternative Names
Schuette, K., matematičar
Schütte, K.
Schütte, Kurt
Languages
English (60)
German (40)
Italian (1)
Greek, Modern (1)
Dutch (1)
Covers