Undecidable theories

QR Code

Undecidable theories

Bibliographic Details
Main Author:	Tarski, Alfred
Other Authors:	Mostowiski, Andrzej (coaut.)
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland , 1953.
Series:	(Studies in Logic and the Foundations of Mathematics)
Subjects:	LOGICA

Similar Items

Undecidable theories
by: Tarski, Alfred
Published: (1971)

Undecidable theories /
by: Tarski, Alfred, et al.
Published: (1953)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
by: Mostowski, Andrzej, et al.
Published: (1964)

The undecided heart /
by: Young, Bob 1916-1969, et al.
Published: (1967)

Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred
Published: (1961)

Introducción a la lógica y a la metodología de las ciencias deductivas /
by: Tarski, Alfred
Published: (1951)

Introducción a la lógica y a la metodología de las ciencias deductivas
by: Tarski, Alfred
Published: (1951)

Ordinal algebreas
by: Tarski, Alfred
Published: (1956)

Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred, et al.
Published: (1965)

Logic, semantics, metamathematics : papers from 1923 to 1938
by: Tarski, Alfred, et al.
Published: (1956)

Introducción a la lógica y a la metodología de las ciencias deductivas
by: Tarski, Alfred
Published: (1977)

The theory of models: proceedings of the 1963 International Symposium at Berkeley. /
by: Tarski, Alfred, et al.
Published: (1965)

Introducción a la lógica y a la metodología de las ciencias deductivas /
by: Tarski, Alfred, et al.
Published: (1951)

Introduction to logical theory /
by: Strawson, Peter F., et al.
Published: (1952)

Contemporary readings in logical theory /
by: Copi, Irving M., et al.
Published: (1967)

The theory of semisets /
by: Vopenka, Petr
Published: (1972)

The Theory of Categories /
by: Brentano, Franz
Published: (1981)

Undecidability of the problem of distinguishing K-theory classes of the reduced group C*-algebra for a finitely presented group /
by: Chacón Pereira, Ben 1974-, et al.
Published: (2003)

Pierces and Lewiss theories of induction
by: Chung-Ying Cheng
Published: (1969)

Axiomatic Set Theory / by Patrick Suppes
by: Suppes, Patrick

Theories in logic /
by: Windelband, Wilhelm, 1848-1915
Published: (1961)

Model theory /
by: Chang, C. C.
Published: (1973)

Proof theory : an introduction /
by: Pohlers, Wolfram, et al.
Published: (1964)

Intuitionistic logic model theory and forcing
by: Fitting, Melvin Chris
Published: (1969)

Axiomatics set theory
by: Suppes, Patrick
Published: (1960)

Axiomatic set theory Paul Bernays
by: Bernays, Paul
Published: (1968)

Fundamentals of generalized recursion theory /
by: Fitting, Melvin Chris, et al.
Published: (1981)

New foundations for concept theory
by: Schock, Rolf 1933-, et al.
Published: (1969)

The Computational complexity of logical theories /
by: Ferrante, Jeanne 1949-, et al.
Published: (1964)

Elements of Set Theory /
by: Zehna, Peter W.
Published: (1962)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
by: Kino, A., et al.
Published: (1970)

Set theory and logic
by: Stoll, Robert R.
Published: (1963)

Theories of the proposition : ancient and medieval conceptions of the bearers of truth and falsity /
by: Nuchelmans, Gabriel, et al.
Published: (1973)

Theorie des modeles en logique mathematique /
by: Daigneault, Aubert 1932-
Published: (1967)

Mathematical logic and foundations of set theory proceedings of an international colloquium
Published: (1970)

Sets, logic and axiomatic theories
by: Stoll, Robert R.
Published: (1961)

Sets, login, and axiomatic theories
by: Stoll, Robert Roth
Published: (1961)

Theorie generale des structures
by: Glivenko, Valere I., et al.
Published: (1938)

Logic : the theory of inquiry
by: Dewey, John 1859-1952, et al.
Published: (1936)