Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00004209
épistémologie # formalisme # philosophie des mathématiques
00A30 ; 03A05 ; 03A05
Localisation : Ouvrage RdC (CURR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00004230
combinatoire # logique # logique combinatoire
03-XX ; 05-XX
Localisation : Ouvrage RdC (CURR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 417 p.
Cote : 00000178
fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie
03B40 ; 03F10
Localisation : Ouvrage RdC (CURR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 520 p.
Cote : 00000179
arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires
03B15 ; 03B40
Localisation : Ouvrage RdC (CURR)
English