Computable model theory (2003)

by B F Csima