Cover Image

Model-theoretic logics /

Bibliographic Details
Other Authors:	Barwise, Jon, Feferman, Solomon, Baldwin, John T.
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1985]
Series:	Perspectives in mathematical logic.
Subjects:	Model theory.

Similar Items

Model theoretic algebra : with particular emphasis on fields, rings, modules /
by: Jensen, Christian U., et al.
Published: (2022)

Model theoretic algebra : with particular emphasis on fields, rings, modules /
by: Jensen, Christian U., et al.
Published: (2022)

Intuitionistic logic, model theory and forcing.
by: Fitting, Melvin, 1942-
Published: (1969)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: Keisler, H. Jerome
Published: (1971)

Intuitionistic logic, model theory and forcing.
by: Fitting, Melvin, 1942-
Published: (1969)

Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Model theory for modal logic : Kripke models for modal predicate calculi /
by: Bowen, Kenneth A. (Kenneth Alan)
Published: (1979)

A course in model theory : an introduction to contemporary mathematical logic /
by: Poizat, Bruno
Published: (2000)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

A course in model theory : an introduction to contemporary mathematical logic /
by: Poizat, Bruno
Published: (2000)

Introduction to Model Theory /
by: Rothmaler, Philipp
Published: (2018)

Quantum theoretic machines : what is thought from the point of view of physics /
by: Stern, August, 1945-
Published: (2000)

Quantum theoretic machines : what is thought from the point of view of physics /
by: Stern, August, 1945-
Published: (2000)

Model theory /
by: Chang, Chen Chung, 1927-
Published: (1990)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Model theory of fields : lecture notes in logic 5 /
by: Marker, David, et al.
Published: (2005)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Quantifiers : logics, models, and computation /
Published: (1995)

Beyond first order model theory.
Published: (2023)

Model theory : an introduction /
by: Marker, D. (David), 1958-
Published: (2002)

Model theory /
by: Keisler, H. Jerome
Published: (1990)

Model theory /
by: Zhang, Zhenzhong
Published: (1973)

Model theory /
by: Manzano, María
Published: (1999)

Model theory /
by: Chang, Chen Chung, 1927-, et al.
Published: (1977)

Model theory : an introduction /
by: Marker, D. (David), 1958-
Published: (2002)

Models and ultraproducts : an introduction /
by: Bell, J. L.
Published: (1969)

Finite model theory /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1995)

Introduction to model theory /
by: Rothmaler, Philipp
Published: (2000)

Model theory and applications.
Published: (1975)

Introduction to model theory /
by: Rothmaler, Philipp
Published: (2002)

Studies in model theory /
by: Morley, M. D. (Michael Darwin), 1930-
Published: (1973)

Finite model theory /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1995)

Saturated model theory /
by: Sacks, Gerald E.
Published: (2010)

Classification theory and the number of non-isomorphic models /
by: Shelah, Saharon
Published: (1990)

Building models by games /
by: Hodges, Wilfrid
Published: (1985)

Stability in model theory /
by: Lascar, D. (Daniel), 1942-
Published: (1987)

Classification theory and the number of non-isomorphic models /
by: Shelah, Saharon
Published: (1990)

Classification theory and the number of non-isomorphic models /
by: Shelah, Saharon
Published: (1978)