A mathematical introduction to logic - Enderton, Herbert B., 1936-2010, (Academic Press, 2001)
Incluye index