שליחה במסרון: Computer science logic : 22nd International Workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings / Michael Kaminski, Simone Martini (eds.).