Professor Goodstein's formalisation of the policeman

Journal of Symbolic Logic 23 (4):420 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964017

Links

PhilArchive



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

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

Reviews. [REVIEW]R. L. Goodstein - 1960 - British Journal for the Philosophy of Science 11 (42):163-164.
A formalisation of referentially opaque contexts.L. Jonathan Cohen - 1960 - Journal of Symbolic Logic 25 (3):193-202.
Extensions of arithmetic for proving termination of computations.Clement F. Kent & Bernard R. Hodgson - 1989 - Journal of Symbolic Logic 54 (3):779-794.
Variables, generality and existence: Considerations on the notion of a concept-script.Professor Henry Laycock - manuscript
Mathematical systems.R. L. Goodstein - 1939 - Mind 48 (189):58-73.
Critical notices.R. L. Goodstein - 1957 - Mind 66 (264):549-553.
Constructive formalism.R. L. Goodstein - 1951 - Leicester [Eng.]: University College.
On Von Mises' theory of probability.R. L. Goodstein - 1940 - Mind 49 (193):58-62.
On the formalisation of indirect discourse.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (4):417-419.

Analytics

Added to PP
2009-01-28

Downloads
15 (#947,088)

6 months
4 (#790,339)

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