Teorías de primer orden - Ana M. García Serrano (1994)