Model theory.

Institution-independent model theory by: (Electronic resources)

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

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

A course in model theory : = an introduction to contemporary mathematical logic / by: (Language materials, printed)

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

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

Model theory : = an introduction / by: (Language materials, printed)

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

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)

Computable models by: (Language materials, printed)

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

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

Models and games by: (Electronic resources)

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

Point-counting and the Zilber-Pink conjecture 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)

Simplicity Theory by: (Electronic resources)

Uncountably categorical theories / by: (Language materials, printed)

Henkin-Keisler models by: (Electronic resources)

Simple groups of finite Morley rank / 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)

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