Lectures on Logic - pokkari, Englanti, 2004