Отправить по sms: Исследования по неклассическим логикам и формальным системам