Aristote
(2000-2009)
2009
with Woods John
in: Games, Dordrecht : Springer
2006
with Goncharov Sergei, Zakharyaschev Michael (ed)
Dordrecht, Springer
2001
Synthese 127/1-2