Lecture Notes in Logic 25 - Mauro Di Nasso; David A. Ross; Nigel J. Cutland (Taylor and Francis, 2006)