Kниги автора Matthias Baaz, Johann A. Makowsky, Workshop on Computer Science Logic 2003 Vienna University of Technolo, European Association for Computer Science Logic Conference 2003