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