أرسل هذا في رسالة قصيرة: Non-classical logics, model theory, and computability :