An introduction to model theory

QR-kód

An introduction to model theory

Mentés helye:

Bibliográfiai részletek
Szerző:	Mijajlović, Žarko
Formátum:	könyv
Nyelv:	angol
Megjelenés:	Novi Sad : University of Novi Sad Institute of Mathematics, 1987
Kiadás:	Soksz.
Tárgyszavak:	modellelmélet > matematikai logika
Címkék:	Új címke A tételhez itt fűzhet saját címkét!

Hasonló tételek

Introduction to model theory and to the metamathematics of algebra
Szerző: Robinson, Abraham (1918-1974)
Megjelenés: (1965)

Introduction to model theory and to the metamathematics of algebra
Szerző: Robinson, Abraham (1918-1974)
Megjelenés: (1974)

Model theory : An introduction
Szerző: Marker, David (1958-)
Megjelenés: (2002)

Model theory
Szerző: Chang, Chen-Chung (1927-)
Megjelenés: (1973)

Stability in model theory
Szerző: Lascar, Daniel (1942-)
Megjelenés: (1987)

Model theory of fields
Szerző: Marker, David (1958-)
Megjelenés: (1996)

Saturated model theory
Szerző: Sacks, Gerald E.
Megjelenés: (1972)

Classification theory and the number of non-isomorphic models
Szerző: Shelah, Saharon
Megjelenés: (1990)

Classification theory and the number of non-isomorphic models
Szerző: Shelah, Saharon
Megjelenés: (1978)

Around classification theory of models
Szerző: Shelah, Saharon
Megjelenés: (1986)

Model-theoretic logics
Megjelenés: (1985)

Modell - módszer : a modellek helye és szerepe a tudományos megismerésben
Szerző: Kocsondi András (1934-2002)
Megjelenés: (1976)

Finite model theory
Szerző: Ebbinghaus, Heinz-Dieter (1939-)
Megjelenés: (1999)

Finite model theory
Szerző: Ebbinghaus, Heinz-Dieter (1939-)
Megjelenés: (1995)

Model theory and algebraic geometry : An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Megjelenés: (1998)

Model theory and topoi : A collection of lectures by various authors
Megjelenés: (1975)

Topological model theory
Szerző: Flum, Jörg
Megjelenés: (1980)

Bounded variable logics and counting : A study in finite models
Szerző: Otto, Martin
Megjelenés: (1997)

Model theory and arithmetic : Comptes Rendus d'une Action Thematique programmée deu C. N. R. S. sur la Theorie des Modèles et l'Arithmétique, Paris, France, 1979/80
Megjelenés: (1981)

Logical approach to system theory
Szerző: Takahashi, Shingo
Megjelenés: (1995)

Classification theory : Proceedings of the U.S.-Israel Workshop on model theory in mathematicallogic held in Chicago, Dec. 15-19, 1985
Megjelenés: (1987)

Applied nonstandard analysis
Szerző: Davis, Martin (1928-)
Megjelenés: (1977)

1. vol., Model theory and algebra
Megjelenés: (1979)

Jelek és rendszerek modellezése
Szerző: Peschel, Manfred
Megjelenés: (1985)

Prikladnoj nestandartnyj analiz
Szerző: Davis, Martin (1928-)
Megjelenés: (1980)

Teoriâ modelej
Szerző: Keisler, H. Jerome
Megjelenés: (1977)

Modellbildung für Signale und Systeme
Szerző: Peschel, Manfred
Megjelenés: (1978)

Vvedenie v teoriû modelej i metamatematiku algebry
Szerző: Robinson, Abraham (1918-1974)
Megjelenés: (1967)

Teoriâ nasys̆'ennyh modelej
Szerző: Sacks, Gerald E.
Megjelenés: (1976)

Smes̆annye kraevye zadači i voprosy matematičeskogo modelirovaniâ
Megjelenés: (1975)

Model theory of algebra and arithmetic : Proceedings of the Conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1-7, 1979
Megjelenés: (1980)

Tableau systems for first order number theory and certain higher order theories
Szerző: Toledo, Sue Ann (1940-)
Megjelenés: (1975)

Beginning model theory : the completeness theorem and some consequences
Szerző: Bridge, Jane
Megjelenés: (1977)

Model theory and algebra : A memorial tribute to Abraham Robinson
Megjelenés: (1975)

System modelling and optimization : Proceedings of the 12th IFIP Conference, Budapest, Hungary, September 2-6, 1985
Megjelenés: (1986)

Model theory for infinitary logic : Logic with countable conjunctions and finite quantifiers
Szerző: Keisler, H. Jerome
Megjelenés: (1971)

Set theory and hierarchy theory V : Bierutowice, Poland 1976
Megjelenés: (1977)

Forcing, arithmetic, division rings
Szerző: Hirschfeld, Joram
Megjelenés: (1975)

Notes on infinite permutation groups
Megjelenés: (1998)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
Szerző: Woodin, Hugh
Megjelenés: (2010)