K S · K. Schütte · Kurt Schutte
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Proof Theory | 978-3-642-66475-5 (3-642-66475-X) | 1977 | |
| Proof theory of impredicative subsystems of analysis | 978-88-7088-166-0 (88-7088-166-0) | 2007 | Wilfried Buchholz |
| Vollständige Systeme Modaler und Intuitionistischer Logik | 978-3-642-88665-2 (3-642-88665-5) | 1968 | |