Отправить по sms: Deductive Systems in Traditional and Modern Logic