Model theory.

Computable models by: (Language materials, printed)

A Course in model theory / by: (Language materials, printed)

Set theory : = Boolean-valued models and independence proofs / by: (Language materials, printed)

Stable domination and independence in algebraically closed valued fields / by: (Language materials, printed)

Simplicity Theory by: (Electronic resources)

Topics in model theory / by: (Language materials, printed)

Model theory, computer science, and graph polynomials = festschrift in honor of Johann A. Makowsky / by: (Electronic resources)

A course on basic model theory by: (Electronic resources)

Accessible categories : = the foundations of categorical model theory / by: (Language materials, printed)

The reconstruction of trees from their automorphism groups / by: (Language materials, printed)

Finite structures with few types / by: (Language materials, printed)

Continuous model theory / by: (Language materials, printed)

Henkin-Keisler models by: (Electronic resources)

Model theory = an introduction / by: (Electronic resources)

Logica Universalis = Towards a General Theory of Logic / by: (Language materials, printed)

Building models by games / by: (Language materials, printed)

Henkin-Keisler models by: (Language materials, printed)

Model theory and algebraic geometry = an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / by: (Language materials, printed)

Categoricity / by: (Language materials, printed)

Simple groups of finite Morley rank / by: (Language materials, printed)

Institution-independent model theory by: (Electronic resources)

A Functorial model theory : = newer applications to algebraic topology, descriptive sets, and computing categories topos / by: (Language materials, printed)

Models and games by: (Electronic resources)

An invitation to model theory / by: (Language materials, printed)

Mathematical logic = exercises and solutions / by: (Electronic resources)

Point-counting and the Zilber-Pink conjecture by: (Electronic resources)

Institution-independent model theory by: (Electronic resources)

Model theory in algebra, analysis and arithmetic = Cetraro, Italy 2012 / by: (Electronic resources)

Lecture notes on O-minimal structures and real analytic geometry by: (Electronic resources)