Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 246 p.
Cote : 00003938
calcul des propositions # logique mathématique # méthode déductive # méthodologie # théorie des relations
03B05 ; 03B80 ; 03F55 ; 03F65
Localisation : Disparu;Ouvrage RdC (TARS)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 54 p.
Cote : 00003937
Von Neumann-Bernays # Zermelo # force des systèmes # système axiomatique # théorie des ensembles # théorie des types
04-02 ; 04A03 ; 04A10 ; 04A15 ; 04A30
Localisation : Ouvrage RdC (WANG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 108 p.
Cote : 00025458
géométrie descriptive # axiomatique # ordre # intuitionisme # logique # géométrie analytique # géométrie plane # géométrie de l'espace
51-01 ; 51-03 ; 51N15 ; 51E15 ; 03A30 ; 51Nxx
Localisation : Ouvrage RdC (DEQU)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 317 p.
Cote : 00027498
fondement des mathématiques # machine # linguistique # logique # économie # ordinateur
00B25 ; 03-06 ; 68-06
Localisation : Colloque 1er étage (TIHA)
English