Review: Thoralf Skolem, The Development of Recursive Arithmetic [Book Review]

Journal of Symbolic Logic 13 (1):54-54 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268155

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

Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
Review: Th. Skolem, Some Considerations Concerning Recursive Arithmetic. [REVIEW]H. G. Rice - 1958 - Journal of Symbolic Logic 23 (2):228-228.
Review: Th. Skolem, Recursive Arithmetic. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (3):169-170.
Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
Sur la Porté du Théorème Löwenheim-Skolem.Thoralf Skolem - 1941 - In Selected Works in Logic. Universitetsforlaget. pp. 455--82.
Review: Thoralf A. Skolem, Abstract Set Theory. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680-680.
¸ Iteskolem:Swl.Thoralf Skolem - 1955
Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript
Review: Thoralf Skolem, On the Proofs of Independence of the Axioms of the Classical Sentential Calculus. [REVIEW]Alonzo Church & Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (1):67-67.
Some Remarks on Axiomatised Set Theory.Thoraf Skolem - 1922 - In J. Van Heijenoort (ed.), ¸ Iteheijenoort. Harvard University Press. pp. 290--301.
A Critical Remark on Foundational Research.Thoralf Skolem - 1955 - In ¸ Iteskolem:Swl. pp. 581--6.
Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.Thoralf Skolem - 1922 - In ¸ Iteskolem:Swl. pp. 137--52.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,430,516)

6 months
5 (#629,136)

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