أرسل هذا في رسالة قصيرة: An introduction to non-classical logic : from if to is /