Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- x; 263 p.
Cote : 00038606
logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit
03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20
Localisation : Ouvrage RdC (VAND)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 450 p.
Cote : 00011835
logique mathématique # mathématique constructive # théorie de la preuve
00A15 ; 03-XX
Localisation : Bibliographie de math. RdC
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- VIII-653 p.
Cote : 00035822
Hans Freudenthal # théorie des groupes # oeuvres complètes # géométrie # groupes topologiques
00B60 ; 01A75 ; 20-06 ; 51-06 ; 22-06
Localisation : Oeuvres complètes RdC (FREU)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xii; 875 p.
Cote : 00038785
L.E.J. Brouwer # biographie # histoire de la topologie # mathématiques et nazisme # mathématiques Hollandaises
01A70 ; 01A55 ; 01A60 ; 00A30 ; 01-02 ; 01A72
Localisation : Biographie RdC (BROU)
English