Contributions to Mathematical Logic. H. Arnold Schmidt, Kurt Schütte, Ernst Jochen Thiele [Book Review]

Philosophy of Science 37 (4):623-625 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1086/288333

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tarski A.. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
Ernst-Jochen Thiele. Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 173–195. [REVIEW]Paul Bernays - 1972 - Journal of Symbolic Logic 37 (4):767-768.
Thiele Ernst-Jochen. Die Verträglichkeit der Kontinuumhypothese mit dem System der Mengenlehre von Zermelo-Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 225–255. , pp. 347–349.). [REVIEW]Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (3):542-542.
Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-286.
In Memoriam: Kurt Schütte 1909–1998.Wolfram Pohlers - 2000 - Bulletin of Symbolic Logic 6 (1):101-102.
Gödel Kurt. Russell's mathematical logic. The philosophy of Bertrand Russell, edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1944, pp. 123–153. [REVIEW]Paul Bernays - 1944 - Journal of Symbolic Logic 11 (3):75-79.
H. Arnold Schmidt: "Mathematische Gesetze der Logik I". [REVIEW]Wilhelm Ackermann - 1962 - Ratio (Misc.) 4 (1):62.
Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 , pp. 305–326.Gaisi Takeuti - 1967 - Journal of Symbolic Logic 32 (3):418-419.

Analytics

Added to PP
2010-08-24

Downloads
43 (#520,994)

6 months
10 (#415,916)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references