The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory.. مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط
Domaines
PhilosophieFormat du dépôt | Notice |
---|---|
Type de dépôt | Ouvrages |
Titre |
en
The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory..
مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط
|
Auteur(s) |
Shahid Rahman
1
, Juan Redmond
2
, Farid Zidani
3
, Kadoum Yasmina
3
1
STL -
Savoirs, Textes, Langage (STL) - UMR 8163
( 11909 )
- Domaine Universitaire du Pont de Bois - Batiment B4 rue du Barreau - BP 60149 - 59653 VILLENEUVE D'ASCQ CEDEX
- France
2
Universidad de Valparaiso [Chile]
( 302455 )
- Blanco 951, Valparaíso, Región de Valparaíso, Chili
- Chili
3
Université d'Alger II
( 356047 )
-
- France
|
Langue du document |
Arabe
|
Vulgarisation |
Non
|
Audience |
Internationale
|
Date de publication |
2019
|
Domaine(s) |
|
Loading...