Логика с точки зрения информатики: бестселлер в духе Льюиса Кэрролла. 12 этюдов