A mathematical introduction to logic - Enderton, Herbert B., 1936-2010 (New York : Academic Press, 2001)
Incluye index
Keywords: LÓGICA; MATEMÁTICAS; SÍMBOLOS