Undecidable theories.
In collaboration with Andrzej Mostowski and Raphael M. Robinson

Description

Tools

Cite this Export citation file

Main Author: Tarski, Alfred
Related Names: Robinson, Raphael M. (Raphael Mitchel), 1911-
Mostowski, Andzej
Language(s): English
Published: Amsterdam, North-Holland Pub. Co., 1968 [c1953]
Edition: [2d printing]
Subjects: Gödel's theorem
Physical Description: xi, 98 p. 23 cm
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Undecidable theories

Author: Tarski, Alfred, 1901-1983.
Published: 1971

Undecidable theories

Author: Tarski, Alfred, 1901-1983.
Published: 1953

Bounded analytic functions

Author: Robinson, Raphael M. (Raphael Mitchel), 1911-
Published: 1944

Some results in the theory of schlicht functions

Author: Robinson, Raphael M. (Raphael Mitchel), 1911-
Published: 1934

A decision method for elementary algebra and geometry

Author: Tarski, Alfred.
Published: 1948

Ordinal algebras

Author: Tarski, Alfred.
Published: 1956

Logic, semantics, metamathematics; papers from 1923 to 1938

Author: Tarski, Alfred.
Published: 1956

Introducción a la lógica y a la metodología de las ciencias deductivas

Author: Tarski, Alfred.
Published: 1951

Introduction to logic and to the methodology of deductive sciences

Author: Tarski, Alfred, 1901-1983.
Published: 1965

A decision method for elementary algebra and geometry

Author: Tarski, Alfred, 1901-1983.
Published: 1951