European Summer School on Logic, Language and Information, 4-15 August. tr 2008, 2 (9).