Order: Listing date First author Impact Pub year Relevance Downloads
Order
The Collected Papers of Gerhard Gentzen. K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753. details
Syntactical and Semantical Properties of Simple Type Theory. Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (4):305-326. details
Equational Logic and Equational Theories of Algebras. A. Tarski , H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162. details
Ein System des verknüpfenden Schliessens. K. Schütte - 1956 - Archiv für Philosophie 5 (4):375. details
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. Kurt Schütte & Stephen G. Simpson - 1985 - Archive for Mathematical Logic 25 (1):75-89. details
Ein System des verknüpfenden Schliessens. K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55. details
Solomon Feferman. Systems of Predicative Analysis. The Journal of Symbolic Logic, Bd. 29 Heft 1 , S. 1–30. Kurt Schütte - 1966 - Journal of Symbolic Logic 31 (4):660. details
Ein Wohlordnungsbeweis Für Das OrdinalzahlensystemT(J). K. Schütte - 1988 - Archive for Mathematical Logic 27 (1):5-20. details
Beweistheorie von KPN. Kurt Schutte & Gerhard Jager - 1983 - Journal of Symbolic Logic 48 (3):879. details
Hermes Hans. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart 1963, 187 S. [REVIEW] Kurt Schutte - 1965 - Journal of Symbolic Logic 30 (3):355-356. details
Aussagenlogische Grundeigenschaften Formaler Systeme. K. SchÜtte - 1958 - Dialectica 12 (3):422. details
Mathematische Existenz und Widerspruchfreiheit. K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150. details
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger. Kurt Schütte - 1988 - Archive for Mathematical Logic 27 (1):85-99. details
An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions. Kurt Schutte , W. Pohlers , J. Diller & G. H. Muller - 1983 - Journal of Symbolic Logic 48 (3):878. details
Meeting of the Association for Symbolic Logic. H. A. Schmidt , K. Schütte , E.-J. Thiele & M. J. Cresswell - 1967 - Journal of Symbolic Logic 32 (4):556-577. details
Betrachtungen zum Paradoxon von Thoralf Skolem. K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):150. details
Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. J. Diller , H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454. details
Some Forms of Models of Propositional Calculi. R. Harrop , H. Arnold Schmidt , K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251. details
Einführung in Die Logistik, Vorzüglich in den Modalkalkül. K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60. details
Non-Uniqueness at Ω2 in Kleene'sO. John N. Crossley & Kurt Schütte - 1966 - Archive for Mathematical Logic 9 (3-4):95-101. details
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74. details
An Anatomical Study of Copper Deficient Wheat. K. H. Schütte & M. Mathews - 1969 - Transactions of the Royal Society of South Africa 38 (2):183-200. details
Becker Oskar. Einführung in die Logistik, vorzüglich in den Modalkalkül. Westkulturverlag Anton Hain, Meisenheim am Glan 1951, 92 S. [REVIEW] K. Schütte - 1952 - Journal of Symbolic Logic 17 (1):59-60. details
Contributions to Mathematical Logic. H. Arnold Schmidt , K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam: North-Holland. details
Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966. Kurt Schütte , H. Arnold Schmidt , H. J. Thiele & International Union of the History and Philosophy of Science - 1968 - North-Holland. details
Dag Prawitz. Hauptsatz for Higher Order Logic. The Journal of Symbolic Logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for Second Order Logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A Proof of Cut-Elimination in Simple Type-Theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW] K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607. details
Die Schematische Korrespondenz und die Idealisierten Strukturen. K. Schutte & Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):152. details
Eine Bemerkung über quasirekursioe Funktionen. K. Schütte - 1951 - Archive for Mathematical Logic 1 (2):63. details
Gaisi Takeuti. On the Fundamental Conjecture of GLC. VI. Proceedings of the Japan Academy, Vol. 37 , Pp. 440–443. Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):147. details
Gaisi Takeuti. Ordinal Diagrams II. Journal of the Mathematical Society of Japan, Vol. 12 , Pp. 385–391. Kurt Schütte - 1964 - Journal of Symbolic Logic 29 (3):146-147. details
Hermes Hans. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, X + 246 pp. [REVIEW] Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (2):254-254. details
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. K. Schütte , Justus Diller & G. H. Müller (eds.) - 1975 - Springer Verlag. details
Lecture Notes in Mathematical Logic. Kurt[from old catalog] Schütte - 1962 - University Park, Dept. Of Mathematics, Pennsylvania State University. details
Lorenzen Paul. Über das Prinzip “ex falso quodlibet.” Methodos, Bd. 3 , S. 43–46. K. Schütte - 1954 - Journal of Symbolic Logic 19 (4):298-298. details
Lorenzen Paul. Die Widerspruchsfreiheit der klassischen Analysis. Ebd., Bd. 54 Heft 1 , S. 1–24. Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):261-262. details
Lorenzen Paul. Gleichheit und Ungleichheit in der Arithmetik. Mathematische Nachrichten, Bd. 1 , S. 337–341. Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-260. details
Lorenzen Paul. Konstruktive Begründung der Mathematik. Mathematische Zeitschrift, Bd. 53 Heft 2 , S. 162–202. Kurt Schütte - 1953 - Journal of Symbolic Logic 18 (3):260-261. details
M. E. Szabo. Biographical Sketch. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. Vii–Viii. - M. E. Szabo. Introduction. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. 1–28. - Gerhard Gentzen. On the Existence of Independent Axiom Systems for Infinite Sentence Systems. Englische Übersetzung von 4427. The Collected Papers of Gerhard Gentzen, Herausgegeben von M. E. Szabo, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam Und London1969, S. 29–52. - Gerhard Gentzen. On the Relation Between Intuitionist and Classical Arithmetic. Englische Übersetzung des Über Das Verhältnis Zwischen Intuitionistischer Und Klassischer Arithmetik . The Collected Papers of Gerhard Gentz. [REVIEW] K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753. details
Müller G. H.. Über Die Unendliche Induktion. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, Pp. 75–95. [REVIEW] K. Schütte - 1975 - Journal of Symbolic Logic 40 (4):627-627. details
Maehara Shôji. Equality Axiom on Hubert's Ε-Symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, Vol. 7 , Pp. 419–435. [REVIEW] Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-110. details
Maehara Shôji. Gentzen's Theorem on an Extended Predicate Calculus. Proceedings of the Japan Academy, Vol. 30 No. 10 , Pp. 923–926. [REVIEW] Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109. details
Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Kurt Schütte - 1987 - Archive for Mathematical Logic 26 (1):29-55. details
Nagai Hiroshi. Some Aspects of the Philosophy of Science in Japan. Ebd., S. 63–90. Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):353-353. details
Nagai Hiroshi. The Concept of Formality in Mathematics. Annals of the Japan Association for Philosophy of Science, Vol. 1 No. 5 , Pp. 289–312. [REVIEW] Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250. details
Łoś J., Mostowski A., and Rasiowa H.. A Proof of Herbrand's Theorem. Journal de Mathématiques Pures Et Appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au Travail “A Proof of Herbrand Theorem.” Journal de Mathématiques Pures Et Appliquées, Folge 9 Bd. 40 , S. 129–134. [REVIEW] Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169. details
Łoś Jerzy. Quelques Remarques, Théorèmes Et Problèmes Sur les Classes Définissables D'Algèbres. Mathematical Interpretation of Formal Systems, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1955, S. 98–113. [REVIEW] Kurt Schütte - 1960 - Journal of Symbolic Logic 25 (2):168-168. details
Orey Steven. Model Theory for the Higher Order Predicate Calculus. Transactions of the American Mathematical Society, Vol. 92 , Pp. 72–84. [REVIEW] Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):96-96. details
Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16. K. Schütte - 1978 - Journal of Symbolic Logic 43 (1):147-153. details
Paul Bernays. Vorwort. Abhandlungen zur Philosophie der Mathematik, von Paul Bernays, Wissenschaftliche Buchgesellschaft, Darmstadt1976, S. VII–X. [REVIEW] K. Schutte - 1978 - Journal of Symbolic Logic 43 (1):147. details
Prawitz Dag. Hauptsatz for Higher Order Logic. K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed