Kurt Schütte (schuette-k)

Beiträge zu Philosophie.ch

Bibliography

Buchholz, Wilfried and Schütte, Kurt. 1988. Proof Theory of Impredicative Subsystems of Analysis. Napoli: Bibliopolis.
Schütte, Kurt. 1958. “Aussagenlogische Grundeigenschaften formaler Systeme.” Dialectica 12(47–48): 422–442.
Schütte, Kurt. 1965. “Predicative Well-Orderings.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 280–303. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
Schütte, Kurt. 1968a. Vollständige Systeme modaler und intuitionistischer Logik. Berlin: Springer.
Schütte, Kurt. 1968b. “On Simple Type Theory with Extensionality.” in Logic, Methodology and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by Bob van Rootselaar and Johan Frederik [Frits] Staal, pp. 179–184. Studies in Logic and the Foundations of Mathematics n. 52. Amsterdam: North-Holland Publishing Co.
Schütte, Kurt. 1977. Proof Theory. Berlin: Springer.
Schütte, Kurt. 1980. “Proof Theory.” in Modern Logic. A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic, edited by Evandro Agazzi, pp. 37–43. Synthese Library n. 149. Dordrecht: D. Reidel Publishing Co.