Логика: наука и искусство (Высшая школа, 1992)