A course in model theory : an introduction to contemporary mathematical logic /

Código QR

A course in model theory : an introduction to contemporary mathematical logic /

Detalles Bibliográficos
Autor principal:	Poizat, Bruno (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	New York : Springer, c2000.
Colección:	Universitext / editors S. Axler, F. W. Gehring, and K. A. Ribet
Materias:	TEORIA DE MODELOS LOGICA, SIMBOLICA Y MATEMATICA MODELOS MATEMATICOS SIMULACION (MATEMATICAS) ARITMETICA

Ejemplares similares

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

Finite model theory /
por: Ebbinghaus, Heinz-Dieter 1939-, et al.
Publicado: (1999)

Studies in model theory /
por: Morley, Michael Darwin 1930-
Publicado: (1973)

A course on basic model theory /
por: Sarbadhikari, Haimanti
Publicado: (2017)

Hercules contra la Hidra y la muerte de Internet /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2002)

Course of mathematical logic /
por: Fraisse, Roland, et al.
Publicado: (1973)

Modèles en Arithmétique Bornée /
por: Chinchilla, Eugenio, et al.
Publicado: (2001)

Geometric stability theory /
por: Pillay, Anand, et al.
Publicado: (1996)

Model theory and modules /
por: Prest, Mike, et al.
Publicado: (1988)

A course on mathematical logic /
por: Srivastava, Shashi Mohan
Publicado: (2008)

A course on mathematical logic /
Publicado: (2013)

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

Introduction to mathematical logic : set theory, computable functions, model theory /
por: Malitz, Jerome, et al.
Publicado: (1979)

An introduction to mathematical modeling /
por: Bender, Edward A. 1942-, et al.
Publicado: (1978)

A mathematical introduction to logic /
por: Herderton, Herbert B., et al.
Publicado: (1972)

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

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1964)

Introduction to mathematical logic /
por: Church, Alonzo n. 1903, et al.
Publicado: (1956)

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1997)

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

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

Introducción a la clasificación automática /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2003)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)

Analysis and logic /
por: Finet, Catherine
Publicado: (2002)

Set theory and logic
por: Stoll, Robert Roth, et al.
Publicado: (1963)

Set theory and logic /
por: Fraenkel, Abraham Adolf 1891-1965, et al.
Publicado: (1966)

Clasificación automática : particiones utilizando algoritmos genéticos y de sobrecalentamiento simulado /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (1997)

A concise introduction to mathematical logic /
por: Rautenberg, Wolfgang 1936-2011
Publicado: (2010)

Logic, computers and sets /
por: Wang, Hao 1921-1995
Publicado: (1970)

Completeness, compactness, and undercidability : an introduction to mathematical logic /
por: Manaster, Alfred B., et al.
Publicado: (1975)

Mathematical models in mechanical vibrations population dynamics and traffic flow : an introduction to applied mathematics /
por: Haberman, Richard 1945-, et al.
Publicado: (1977)

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

A Profile of mathematical logic
por: Delong, Howard
Publicado: (1970)

Models and ultraproducts : an introduction; /
por: Bell, J. L., et al.
Publicado: (1971)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences an Humanities, Jerusalem, 11-14 november, 1968.
por: Bar, Hillel Yehoshua, et al.
Publicado: (1970)

Sets, logic and axiomatic theories /
por: Stoll, Robert Roth, et al.
Publicado: (1961)

Mathematics and logic : retrospect and prospects /
por: Kac, Mark, et al.
Publicado: (1969)

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Mathematical logic
por: Shoenfield, Joseph Robert 1927-, et al.
Publicado: (1967)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1951)