21769360
9783642213496
Blackburn, Patrick is the author of 'Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)', published 2011 under ISBN 9783642213496 and ISBN 3642213499.
[read more]