Una Introducción constructiva a la teoría de modelos - Sanmartín Esplugues, José (Técnos, 1983)