Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel [Book Review]

Journal of Symbolic Logic 19 (2):119-121 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268869

Links

PhilArchive



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

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

Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: Greenwood Press.
Review: Andrzej Mostowski, On Undecidable Propositions in Formalized Systems of Mathematics. [REVIEW]S. Ulam - 1947 - Journal of Symbolic Logic 12 (2):60-60.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Review: Andrzej Mostowski, Imre Lakatos, Recent Results in Set Theory; G. Kreisel, A. Robinson, L. Kalmar, A. Mostowski, Discussion; Andrzej Mostowski, On Some New Metamathematical Results Concerning Set Theory. [REVIEW]T. Jech - 1972 - Journal of Symbolic Logic 37 (4):765-766.
Some results on measure independent gödel speed-ups.Martin K. Solomon - 1978 - Journal of Symbolic Logic 43 (4):667-672.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
Review: V. A. Uspenskij, Theorem of Godel and Theory of Algorithms. [REVIEW]Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (3):218-219.
Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic. [REVIEW]Andrzej Mostowski - 1957 - Journal of Symbolic Logic 22 (3):304-306.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
Review: Andrzej Mostowski, An Undecidable Arithmetical Statement. [REVIEW]Martin Davis - 1954 - Journal of Symbolic Logic 19 (2):118-119.
The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
On gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.
Review: Jerzy Kuczynski, Uber den Satz von Godel. [REVIEW]Andrzej Mostowski - 1938 - Journal of Symbolic Logic 3 (3):118-118.

Analytics

Added to PP
2013-11-22

Downloads
10 (#1,186,283)

6 months
2 (#1,192,610)

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