000 00587nam a22002057a 4500
008 210629b ||||| |||| 00| 0 eng d
020 _a9789053563564
041 _aeng
080 _a681.3
_bBEN
100 _aBenthem, Johan Van
245 _aInteractive Logic
_bSelected Papers from the 7th Augustus de Morgan Workshop, London
260 _bAmsterdam University Press
_aThe Netherlands
_c2007
300 _a362 p.
490 _aTexts in Logic and Games
_v1
690 _aComputer Science
700 _aGabbay, Dov
700 _aBenedikt Lowe
830 _vTLG; 1
942 _cBK
999 _c58592
_d58592