Slika na naslovnici

Model theory: An Introduction

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Marker, David
Format:	Neznan
Jezik:	angleščina
Izdano:	New York, USA Springer 2002
Serija:	Graduate Texts in Mathematics v.217
Teme:	Lógica matemática
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

A theory of formal deducibility
od: Curry, Haskell B
Izdano: (1950)

Continuous model theory
od: Chen, Chung Chang, et al.
Izdano: (1966)

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

Introduction to Mathematical Logic
od: Dinkines, Flora
Izdano: (1964)

Set theory and logic
od: Stoll, Robert R
Izdano: (1963)

Set theory and logic
od: Fraenkel, Abraham Adolf
Izdano: (1966)

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

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

Elementary theory of sets
od: Dinkines, Flora
Izdano: (1964)

Introductory formal logic of mathematics
od: Nidditch, P. H.
Izdano: (1957)

Elements of mathematical logic
od: Lukasiewicz, Jan
Izdano: (1963)

Mathematical logic
od: Shoenfield, Joseph R
Izdano: (1967)

Notes on logic
od: Lyndon, Roger C.
Izdano: (1966)

Logic for mathematicians
od: Rosser, J. Barkley
Izdano: (1953)

Toward a systematic pragmatics
od: Martin, Richard Milton
Izdano: (1959)

First-order logic
od: Smullyan, Raymond M
Izdano: (1968)

Many-valued logics
od: Rosser, J. Barkley, et al.
Izdano: (1952)

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

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

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

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

Introducción al simbolismo lógico
od: Bosch, Jorge E
Izdano: (1971)

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

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

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

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

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

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

Introduction to logical theory
od: Strawson, P. F
Izdano: (1952)

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

Popular lectures on mathematical logic
od: Wang, Hao
Izdano: (1993)

Logic colloquium
od: Parikh, Rohit
Izdano: (1975)

Elements of mathematical logic
od: Novikov, P. S. (Petr Sergeevich)
Izdano: (1964)

The principles of mathematics
od: Russell, Bertrand
Izdano: (1937)

Introducción al simbolismo lógico
od: Bosch, Jorge E
Izdano: (1970)

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

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

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

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

Introduction to logic
od: Copi, Irving M, et al.
Izdano: (2014)