Model Theory. Enzyklopedia of Mathematics (1993)

by Wilfrid Hodges