Stenius Erik. Das Interpretationsproblem der formalisierten Zahlentheorie und ihre formate Widerspruchsfreiheit. Acta Academiae Aboensis, vol. 18 no. 3. Åbo Akademi, Åbo 1952, 102 pp. With separate sheet of Berichtigungen [Book Review]

Journal of Symbolic Logic 18 (3):262-263 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267417

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Das Interpretationsproblem der Formalisierten Zahlentheorie und ihre Formale Widerspruchsfreiheit.Erik Stenius - 1953 - Journal of Symbolic Logic 18 (3):262-263.
Die italischen Hüttenurnen. By Dr. Johannes Sundwall. (Acta Academiae Aboensis Humaniora, IV.) Pp. 78. 3 full-page illustrations. Åbo, 1925. [REVIEW]H. J. Rose - 1926 - The Classical Review 40 (04):138-.
Essays in philosophical analysis: dedicated to Erik Stenius on the occasion of his 70th birthday.Erik Stenius & Ingmar Pörn (eds.) - 1981 - Helsinki: Societas Philosophica Fennica.
Autobiographical note.Erik Stenius - 1984 - Theoria 50 (2-3):67-72.
A note on an unpublished manuscript by Erik Stenius.Giuseppina Ronzitti - 2010 - Theoria 76 (1):91-96.
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Review: Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Ackermann Wilhelm. Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, Bd. 117 , S. 162–194.Rózsa Péter - 1940 - Journal of Symbolic Logic 5 (3):125-127.
Gentzen Gerhard. Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 , pp. 493–565.Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Jaakko K. Hintikka J.. Distributive normal forms in the calculus of predicates. Acta philosophica fennica, no. 6. Helsinki 1953, 71 pp. With separate sheet of Corrections. [REVIEW]Theodore Hailperin - 1955 - Journal of Symbolic Logic 20 (1):75-76.
Karl-Gustav Sandelin: Die Auseinandersetzung mit der Weisheit in 1. Korinther 15 (Meddelanden frän Stiftelsens för Åbo Akademi Forskningsinstitut, Nr 12 = Publications fof the Research Institute of the Åbo Akademi Foundation), Åbo Akademi, Åbo 1976, 263 pp. [REVIEW]Gösta Lindeskog - 1978 - Zeitschrift für Religions- Und Geistesgeschichte 30 (1):84-86.
Stenius Erik. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 247–260. [REVIEW]T. J. Smiley - 1971 - Journal of Symbolic Logic 36 (3):519-520.
Review: P. Erdos, A. Hajnal, On the Structure of Set-Mappings; P. Erdos, A. Hajnal, Some Remarks Concerning Our Paper "On the Structure of Set-Mappings".-- Non Existence of a two-valued $sigma$-measure for the first uncountable inaccessible cardinal. [REVIEW]W. N. Reinhardt - 1973 - Journal of Symbolic Logic 38 (1):152-153.
Berkeley Edmund C.. A summary of symbolic logic and its practical applications. Manifolded, unbound. Edmund C. Berkeley and Associates, New York 1951, 24 pp. [With separate sheet of Errata, 1952.]Berkeley Edmund C.. A summary of symbolic logic and its practical applications. Second printing, mimeographed pamphlet. Edmund C. Berkeley and Associates, New York 1952, 24 pp. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (1):68-68.

Analytics

Added to PP
2013-11-22

Downloads
8 (#1,291,989)

6 months
1 (#1,516,429)

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