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]

Mot(s)-clé(s) en anglais :

logic
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

Langue :

Espagnol

Projet ANR :

Archéologie différentielle du signe linguistique

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL