mathematical introduction to logic - Herbert, Enderton B. (Academic Press, 1972)