D
Documents
Documents
Sources
Sujets
fr
Français (fr)
English (en)
Español (es)
Thème
Se connecter
Mes bibliothèques
Mon historique
Mes requêtes
Mes auteurs
Mes alertes
Kadoum Yasmina
Type de document
Livres et chapitres d'ouvrages
(1)
Co-auteur
Farid Zidani
1
Juan Redmond
1
Shahid Rahman
1
Date
Source
HAL-SHS : philosophie
(1)
Documents
écrit par Kadoum Yasmina
(1) | parle de Kadoum Yasmina (0)
The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory..مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط
Livres et chapitres d'ouvrages
Shahid Rahman
et al. (2019)
Livres et chapitres d'ouvrages
International audience
Référentiels
|
API
|
À propos
|
Mentions légales
|
CGU
|
Contact
|
Mises à jour