Classification theory and the number of non-isomorphic models /

Around classification theory of models /
by: Shelah, Saharon
Published: (1986)

Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine
Published: (2006)

Lectures on the Curry-Howard isomorphism /
by: Sørensen, Morten Heine
Published: (2006)

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

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

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)

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

Beyond first order model theory.
Published: (2023)

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)

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

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

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

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

Model theory of fields /
by: Marker, D. (David), 1958-
Published: (2006)

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

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

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)

Applications of model theory to algebra, analysis, and probability /
Published: (1969)

A guide to classical and modern model theory /
by: Marcja, A. (Annalisa)
Published: (2003)

Model theory and arithmetic : comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80 /
Published: (1981)

Beginning model theory : the completeness theorem and some consequences /
by: Bridge, Jane
Published: (1977)

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

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

Finite model theory /
by: Ebbinghaus, Heinz-Dieter, 1939-
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)

Model theory, algebra, and geometry /
Published: (2000)