Ata uhi

Model theory: An Introduction

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Marker, David
Hōputu:	Tē mōhiotia
Reo:	Ingarihi
I whakaputaina:	New York, USA Springer 2002
Rangatū:	Graduate Texts in Mathematics v.217
Ngā marau:	Lógica matemática
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

A theory of formal deducibility
mā: Curry, Haskell B
I whakaputaina: (1950)

Continuous model theory
mā: Chen, Chung Chang, me ētahi atu.
I whakaputaina: (1966)

Eléments de logique mathématique: théorie des modèles
mā: Kreisel, G, me ētahi atu.
I whakaputaina: (1966)

Introduction to Mathematical Logic
mā: Dinkines, Flora
I whakaputaina: (1964)

Set theory and logic
mā: Stoll, Robert R
I whakaputaina: (1963)

Set theory and logic
mā: Fraenkel, Abraham Adolf
I whakaputaina: (1966)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
mā: Boole, George
I whakaputaina: (1958)

La structure algébrique des théories mathématiques
mā: Henkin, Leon
I whakaputaina: (1956)

Elementary theory of sets
mā: Dinkines, Flora
I whakaputaina: (1964)

Introductory formal logic of mathematics
mā: Nidditch, P. H.
I whakaputaina: (1957)

Elements of mathematical logic
mā: Lukasiewicz, Jan
I whakaputaina: (1963)

Mathematical logic
mā: Shoenfield, Joseph R
I whakaputaina: (1967)

Notes on logic
mā: Lyndon, Roger C.
I whakaputaina: (1966)

Logic for mathematicians
mā: Rosser, J. Barkley
I whakaputaina: (1953)

Toward a systematic pragmatics
mā: Martin, Richard Milton
I whakaputaina: (1959)

First-order logic
mā: Smullyan, Raymond M
I whakaputaina: (1968)

Many-valued logics
mā: Rosser, J. Barkley, me ētahi atu.
I whakaputaina: (1952)

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

Introducción a la lógica simbólica
mā: Stahl, Gerold
I whakaputaina: (1968)

Epistemología matemática y psicología
mā: Beth, Evert W, me ētahi atu.
I whakaputaina: (1980)

Introducción a la lógica matemática
mā: Galicia Arrambide, Moisés
I whakaputaina: (1980)

Introducción al simbolismo lógico
mā: Bosch, Jorge E
I whakaputaina: (1971)

Identidad en la lógica matemática
mā: Nemesszeghy Voros, Elemer
I whakaputaina: (1967)

Introducción a la lógica simbólica
mā: Suppes, Patrick
I whakaputaina: (1966)

El desarrollo de la lógica matemática
mā: Nidditch, P. H.
I whakaputaina: (1980)

El juego de la lógica y otros escritos
mā: Carroll, Lewis
I whakaputaina: (1984)

Lógica de primer orden
mā: Mosterín, Jesús
I whakaputaina: (1970)

Hacia una lógica de significaciones
mā: Piaget, Jean, me ētahi atu.
I whakaputaina: (1989)

Introduction to logical theory
mā: Strawson, P. F
I whakaputaina: (1952)

On formally undecidable propositions of principia mathematica and related systems
mā: Gödel, Kurt Friedrich
I whakaputaina: (1992)

Popular lectures on mathematical logic
mā: Wang, Hao
I whakaputaina: (1993)

Logic colloquium
mā: Parikh, Rohit
I whakaputaina: (1975)

Elements of mathematical logic
mā: Novikov, P. S. (Petr Sergeevich)
I whakaputaina: (1964)

The principles of mathematics
mā: Russell, Bertrand
I whakaputaina: (1937)

Introducción al simbolismo lógico
mā: Bosch, Jorge E
I whakaputaina: (1970)

Lógica simbólica para informáticos
mā: Iranzo, Pascual Julián
I whakaputaina: (2005)

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

Primer curso de lógica matemática
mā: Suppes, Patrick, me ētahi atu.
I whakaputaina: (1968)

Lógica para informáticos
mā: Farré Cirera, Rafel, me ētahi atu.
I whakaputaina: (2012)

Introduction to logic
mā: Copi, Irving M, me ētahi atu.
I whakaputaina: (2014)