La Genealogía Dialógica de la IgualdadInteracción ...
Type de document :
Pré-publication ou Document de travail
Titre :
La Genealogía Dialógica de la IgualdadInteracción e Igualdad en la Teoría Constructiva de Tipos
Auteur(s) :
Rahman, Shahid [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Clerbout, Nicolas [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Universidad de Valparaiso [Chile]
Redmond, Juan [Auteur]
Universidad de Valparaiso [Chile]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Clerbout, Nicolas [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]
Universidad de Valparaiso [Chile]
Redmond, Juan [Auteur]
Universidad de Valparaiso [Chile]
Mot(s)-clé(s) en anglais :
logic
constructive type theory
mathematics
philosophy of logic
philosophy of mathematics
computersciences
foundations of mathematics
philosophy of science
constructive type theory
mathematics
philosophy of logic
philosophy of mathematics
computersciences
foundations of mathematics
philosophy of science
Discipline(s) HAL :
Sciences de l'Homme et Société/Philosophie
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Langue :
Espagnol
Projet ANR :
Collections :
Source :
Fichiers
- https://halshs.archives-ouvertes.fr/halshs-01330097/document
- Accès libre
- Accéder au document
- https://halshs.archives-ouvertes.fr/halshs-01330097/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- La%20Genealog%C3%ADa%20Dial%C3%B3gica%20de%20la%20Igualdad%206JUNEShahid.pdf
- Accès libre
- Accéder au document