Kapak Resmi

Model theory: An Introduction

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Marker, David
Materyal Türü:	Bilinmiyor
Dil:	İngilizce
Baskı/Yayın Bilgisi:	New York, USA Springer 2002
Seri Bilgileri:	Graduate Texts in Mathematics v.217
Konular:	Lógica matemática
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

A theory of formal deducibility
Yazar:: Curry, Haskell B
Baskı/Yayın Bilgisi: (1950)

Continuous model theory
Yazar:: Chen, Chung Chang, ve diğerleri
Baskı/Yayın Bilgisi: (1966)

Eléments de logique mathématique: théorie des modèles
Yazar:: Kreisel, G, ve diğerleri
Baskı/Yayın Bilgisi: (1966)

Introduction to Mathematical Logic
Yazar:: Dinkines, Flora
Baskı/Yayın Bilgisi: (1964)

Set theory and logic
Yazar:: Stoll, Robert R
Baskı/Yayın Bilgisi: (1963)

Set theory and logic
Yazar:: Fraenkel, Abraham Adolf
Baskı/Yayın Bilgisi: (1966)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
Yazar:: Boole, George
Baskı/Yayın Bilgisi: (1958)

La structure algébrique des théories mathématiques
Yazar:: Henkin, Leon
Baskı/Yayın Bilgisi: (1956)

Elementary theory of sets
Yazar:: Dinkines, Flora
Baskı/Yayın Bilgisi: (1964)

Introductory formal logic of mathematics
Yazar:: Nidditch, P. H.
Baskı/Yayın Bilgisi: (1957)

Elements of mathematical logic
Yazar:: Lukasiewicz, Jan
Baskı/Yayın Bilgisi: (1963)

Mathematical logic
Yazar:: Shoenfield, Joseph R
Baskı/Yayın Bilgisi: (1967)

Notes on logic
Yazar:: Lyndon, Roger C.
Baskı/Yayın Bilgisi: (1966)

Logic for mathematicians
Yazar:: Rosser, J. Barkley
Baskı/Yayın Bilgisi: (1953)

Toward a systematic pragmatics
Yazar:: Martin, Richard Milton
Baskı/Yayın Bilgisi: (1959)

First-order logic
Yazar:: Smullyan, Raymond M
Baskı/Yayın Bilgisi: (1968)

Many-valued logics
Yazar:: Rosser, J. Barkley, ve diğerleri
Baskı/Yayın Bilgisi: (1952)

Qué son los números ?: el método axiomático
Yazar:: Chuaqui, Rolando Basim
Baskı/Yayın Bilgisi: (1980)

Introducción a la lógica simbólica
Yazar:: Stahl, Gerold
Baskı/Yayın Bilgisi: (1968)

Epistemología matemática y psicología
Yazar:: Beth, Evert W, ve diğerleri
Baskı/Yayın Bilgisi: (1980)

Introducción a la lógica matemática
Yazar:: Galicia Arrambide, Moisés
Baskı/Yayın Bilgisi: (1980)

Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1971)

Identidad en la lógica matemática
Yazar:: Nemesszeghy Voros, Elemer
Baskı/Yayın Bilgisi: (1967)

Introducción a la lógica simbólica
Yazar:: Suppes, Patrick
Baskı/Yayın Bilgisi: (1966)

El desarrollo de la lógica matemática
Yazar:: Nidditch, P. H.
Baskı/Yayın Bilgisi: (1980)

El juego de la lógica y otros escritos
Yazar:: Carroll, Lewis
Baskı/Yayın Bilgisi: (1984)

Lógica de primer orden
Yazar:: Mosterín, Jesús
Baskı/Yayın Bilgisi: (1970)

Hacia una lógica de significaciones
Yazar:: Piaget, Jean, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

Introduction to logical theory
Yazar:: Strawson, P. F
Baskı/Yayın Bilgisi: (1952)

On formally undecidable propositions of principia mathematica and related systems
Yazar:: Gödel, Kurt Friedrich
Baskı/Yayın Bilgisi: (1992)

Popular lectures on mathematical logic
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1993)

Logic colloquium
Yazar:: Parikh, Rohit
Baskı/Yayın Bilgisi: (1975)

Elements of mathematical logic
Yazar:: Novikov, P. S. (Petr Sergeevich)
Baskı/Yayın Bilgisi: (1964)

The principles of mathematics
Yazar:: Russell, Bertrand
Baskı/Yayın Bilgisi: (1937)

Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1970)

Lógica simbólica para informáticos
Yazar:: Iranzo, Pascual Julián
Baskı/Yayın Bilgisi: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Yazar:: Ledesma, Luis de
Baskı/Yayın Bilgisi: (2010)

Primer curso de lógica matemática
Yazar:: Suppes, Patrick, ve diğerleri
Baskı/Yayın Bilgisi: (1968)

Lógica para informáticos
Yazar:: Farré Cirera, Rafel, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Introduction to logic
Yazar:: Copi, Irving M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)