Cover Image

Model theory: An Introduction

Saved in:

Bibliographic Details
Main Author:	Marker, David
Format:	Unknown
Language:	English
Published:	New York, USA Springer 2002
Series:	Graduate Texts in Mathematics v.217
Subjects:	Lógica matemática
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A theory of formal deducibility
by: Curry, Haskell B
Published: (1950)

Continuous model theory
by: Chen, Chung Chang, et al.
Published: (1966)

Eléments de logique mathématique: théorie des modèles
by: Kreisel, G, et al.
Published: (1966)

Introduction to Mathematical Logic
by: Dinkines, Flora
Published: (1964)

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

Set theory and logic
by: Fraenkel, Abraham Adolf
Published: (1966)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
by: Boole, George
Published: (1958)

La structure algébrique des théories mathématiques
by: Henkin, Leon
Published: (1956)

Elementary theory of sets
by: Dinkines, Flora
Published: (1964)

Introductory formal logic of mathematics
by: Nidditch, P. H.
Published: (1957)

Elements of mathematical logic
by: Lukasiewicz, Jan
Published: (1963)

Mathematical logic
by: Shoenfield, Joseph R
Published: (1967)

Notes on logic
by: Lyndon, Roger C.
Published: (1966)

Logic for mathematicians
by: Rosser, J. Barkley
Published: (1953)

Toward a systematic pragmatics
by: Martin, Richard Milton
Published: (1959)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Many-valued logics
by: Rosser, J. Barkley, et al.
Published: (1952)

Qué son los números ?: el método axiomático
by: Chuaqui, Rolando Basim
Published: (1980)

Introducción a la lógica simbólica
by: Stahl, Gerold
Published: (1968)

Epistemología matemática y psicología
by: Beth, Evert W, et al.
Published: (1980)

Introducción a la lógica matemática
by: Galicia Arrambide, Moisés
Published: (1980)

Introducción al simbolismo lógico
by: Bosch, Jorge E
Published: (1971)

Identidad en la lógica matemática
by: Nemesszeghy Voros, Elemer
Published: (1967)

Introducción a la lógica simbólica
by: Suppes, Patrick
Published: (1966)

El desarrollo de la lógica matemática
by: Nidditch, P. H.
Published: (1980)

El juego de la lógica y otros escritos
by: Carroll, Lewis
Published: (1984)

Lógica de primer orden
by: Mosterín, Jesús
Published: (1970)

Hacia una lógica de significaciones
by: Piaget, Jean, et al.
Published: (1989)

Introduction to logical theory
by: Strawson, P. F
Published: (1952)

On formally undecidable propositions of principia mathematica and related systems
by: Gödel, Kurt Friedrich
Published: (1992)

Popular lectures on mathematical logic
by: Wang, Hao
Published: (1993)

Logic colloquium
by: Parikh, Rohit
Published: (1975)

Elements of mathematical logic
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

The principles of mathematics
by: Russell, Bertrand
Published: (1937)

Introducción al simbolismo lógico
by: Bosch, Jorge E
Published: (1970)

Lógica simbólica para informáticos
by: Iranzo, Pascual Julián
Published: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
by: Ledesma, Luis de
Published: (2010)

Primer curso de lógica matemática
by: Suppes, Patrick, et al.
Published: (1968)

Lógica para informáticos
by: Farré Cirera, Rafel, et al.
Published: (2012)

Introduction to logic
by: Copi, Irving M, et al.
Published: (2014)