Johan van Benthem - Institute for Logic, Language & Computation, Dept. of Social Science Informatics, University of Amsterdam

homepage:	http://staff.science.uva.nl/~johan/
search externally:	Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife

lecture

Logic in Games
as author at European Summer School in Logic, Language and Information,
6723 views