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