"Tools for Teaching Logic - TICTTL 2011 " - читать интересную книгу автора (Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano)