1
Published 2011
Cambridge University Press
...Lecture notes in logic...