Үүнийг мессежээр илгээх: Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings / Anuj Dawar, Helmut Veith (eds.).