Philosophy and model theory Yazar: Button, Tim, Walsh, Sean

Simplicity theory Yazar: Kim, Byunghan

A course in model theory Yazar: Tent, Katrin, Ziegler, Martin

Model theory and applications lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975

Available for UP System via Springer Link.

Finite and algorithmic model theory

Set theory Boolean-valued models and independence proofs Yazar: Bell, J. L.

Fundamentals of mathematical logic Yazar: Hinman, Peter G.

Groups of finite Morley rank Yazar: Borovik, Alexandre, Nesin, Ali

Tectonic modelling of foreland basins thin skinned thrusting, syntectonic sedimentation and lithospheric flexure Yazar: Zoetemeijer, Barinjntje Pleuntje

Model theory of fields decidability, and bounds for polynomial ideals Yazar: Van Den Dries, L.P.D