Model theory.

Introduction to model theory and to the metamathematics of algebra by: (Language materials, printed)

Intuitionistic logic, model theory and forcing by: (Language materials, printed)

Large infinitary languages = model theory / by: (Language materials, printed)

Model theory / by: (Language materials, printed)

Model theory for infinitary logic = logic with countable conjunctions and finite quantifiers / by: (Language materials, printed)

The metamathematics of algebraic systems, collected papers = 1936-1967 / by: (Language materials, printed)

Lectures on infinitary model theory / by: (Language materials, printed)

A course on basic model theory by: (Language materials, printed)

Building and Solving Mathematical Programming Models = 50 Practical Examples / by: (Language materials, printed)

Mathematical Logic = Exercises and Solutions / by: (Language materials, printed)

Model Validation and Uncertainty Quantification, Volume 3 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / by: (Language materials, printed)

Point-counting and the Zilber-Pink conjecture by: (Language materials, printed)

Point-counting and the Zilber-Pink conjecture / by: (Language materials, printed)