TARSKI, A., MOSTOWSKI, A. and ROBINSON, R. M. - Undecidable Theories [Book Review]

Mind 64:279 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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. Mostowski, R. M. Robinson, Undecidable theories. [REVIEW]R. Blanché - 1957 - Revue Philosophique de la France Et de l'Etranger 147:252.
Undecidable Theories. By Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson. (Amsterdam: North-Holland Publishing Company. 1953. Pp. 98. Price 18s.). [REVIEW]S. Körner - 1955 - Philosophy 30 (114):278-.
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.
The disposition of complete theories.David Miller - unknown
Arithmetic on semigroups.Mihai Ganea - 2009 - Journal of Symbolic Logic 74 (1):265-278.
Review: Alfred Tarski, On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth; Andrzej Mostowski, Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. [REVIEW]Barkley Rosser - 1940 - Journal of Symbolic Logic 5 (3):115-116.
Alfred Tarski and undecidable theories.George F. McNulty - 1986 - Journal of Symbolic Logic 51 (4):890-898.
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
On a Theorem of Cobham Concerning Undecidable Theories.Robert L. Vaught, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):126-127.
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.
Review: A. Grzegorczyk, An Example of Two Weak Essentially Undecidable Theories F and F$^ast$. [REVIEW]Raphael M. Robinson - 1962 - Journal of Symbolic Logic 27 (3):358-358.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
On the Decidability of Axiomatized Mereotopological Theories.Hsing-Chien Tsai - 2015 - Notre Dame Journal of Formal Logic 56 (2):287-306.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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