Ouvrages
Année : 2019
Shahid Rahman : Connectez-vous pour contacter le contributeur
https://shs.hal.science/halshs-03149353
Soumis le : mardi 23 février 2021-00:04:16
Dernière modification le : mercredi 5 juin 2024-10:26:18
Dates et versions
Identifiants
- HAL Id : halshs-03149353 , version 1
Citer
Shahid Rahman, Juan Redmond, Farid Zidani, Kadoum Yasmina. The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory..
مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط. 2019. ⟨halshs-03149353⟩
Collections
63
Consultations
0
Téléchargements