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

QR Code

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

Bibliographic Details
Main Author:	Poizat, Bruno (Author, Autor/a)
Format:	Book
Language:	English
Published:	New York : Springer, c2000.
Series:	Universitext / editors S. Axler, F. W. Gehring, and K. A. Ribet
Subjects:	TEORIA DE MODELOS LOGICA, SIMBOLICA Y MATEMATICA MODELOS MATEMATICOS SIMULACION (MATEMATICAS) ARITMETICA

Similar Items

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

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

Studies in model theory /
by: Morley, Michael Darwin 1930-
Published: (1973)

A course on basic model theory /
by: Sarbadhikari, Haimanti
Published: (2017)

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

Course of mathematical logic /
by: Fraisse, Roland, et al.
Published: (1973)

Modèles en Arithmétique Bornée /
by: Chinchilla, Eugenio, et al.
Published: (2001)

A model-theoretic approach to proof theory /
by: Kotlarski, Henryk 1949-2008
Published: (2019)

Geometric stability theory /
by: Pillay, Anand, et al.
Published: (1996)

Model theory and modules /
by: Prest, Mike, et al.
Published: (1988)

A course on mathematical logic /
by: Srivastava, Shashi Mohan
Published: (2008)

A course on mathematical logic /
Published: (2013)

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

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

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

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

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

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

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

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

Introduction to mathematical logic
by: Hermes, Hans
Published: (1973)

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

Introducción a la clasificación automática /
by: Piza Volio, Eduardo 1955-, et al.
Published: (2003)

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

Analysis and logic /
by: Finet, Catherine
Published: (2002)

Logic, computers and sets /
by: Wang, Hao 1921-1995
Published: (1970)

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

Set theory and logic
by: Stoll, Robert Roth, et al.
Published: (1963)

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

Clasificación automática : particiones utilizando algoritmos genéticos y de sobrecalentamiento simulado /
by: Piza Volio, Eduardo 1955-, et al.
Published: (1997)

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

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

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

A Profile of mathematical logic
by: Delong, Howard
Published: (1970)

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

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.
by: Bar, Hillel Yehoshua, et al.
Published: (1970)

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

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

Mathematical logic
by: Klenne, Stephen Cole
Published: (1967)

Mathematical logic
by: Monk, James Donald 1930-, et al.
Published: (1976)