Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 241 p.
Cote : 00003931
aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote
01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15
Localisation : Ouvrage RdC (BETH)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 241 p.
Cote : 00003934
aximatique # démonstration de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote
01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15
Localisation : Ouvrage RdC (BETH)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 50 p.
Cote : 00008274
philisophie et critique
03A05
Localisation : Ouvrage RdC (BETH)