Elementary Logic - Brian Garrett (Taylor and Francis, 2012)