Nociones de lógica matemática : primeros pasos - Leiva Chacón, Danilo Antonio