Undecidable theories

Código QR

Undecidable theories

Detalles Bibliográficos
Autor principal:	Tarski, Alfred
Otros Autores:	Mostowiski, Andrzej (coaut.)
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam : North-Holland , 1953.
Colección:	(Studies in Logic and the Foundations of Mathematics)
Materias:	LOGICA

Ejemplares similares

Undecidable theories
por: Tarski, Alfred
Publicado: (1971)

Undecidable theories /
por: Tarski, Alfred, et al.
Publicado: (1953)

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

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
por: Mostowski, Andrzej, et al.
Publicado: (1964)

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

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

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

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

Ordinal algebreas
por: Tarski, Alfred
Publicado: (1956)

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

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

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

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

Introducción a la lógica y a la metodología de las ciencias deductivas /
por: Tarski, Alfred, et al.
Publicado: (1951)

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

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

The theory of semisets /
por: Vopenka, Petr
Publicado: (1972)

The Theory of Categories /
por: Brentano, Franz
Publicado: (1981)

Undecidability of the problem of distinguishing K-theory classes of the reduced group C*-algebra for a finitely presented group /
por: Chacón Pereira, Ben 1974-, et al.
Publicado: (2003)

Pierces and Lewiss theories of induction
por: Chung-Ying Cheng
Publicado: (1969)

Theories in logic /
por: Windelband, Wilhelm, 1848-1915
Publicado: (1961)

Model theory /
por: Chang, C. C.
Publicado: (1973)

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris
Publicado: (1969)

Axiomatics set theory
por: Suppes, Patrick
Publicado: (1960)

Axiomatic set theory Paul Bernays
por: Bernays, Paul
Publicado: (1968)

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

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

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

Elements of Set Theory /
por: Zehna, Peter W.
Publicado: (1962)

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

Set theory and logic
por: Stoll, Robert R.
Publicado: (1963)

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

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

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

Sets, logic and axiomatic theories
por: Stoll, Robert R.
Publicado: (1961)

Theorie generale des structures
por: Glivenko, Valere I., et al.
Publicado: (1938)

Sets, login, and axiomatic theories
por: Stoll, Robert Roth
Publicado: (1961)

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

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)