Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 450 p.
ISBN 978-3-540-15524-9
Perspectives in mathematical logic
Localisation : Bibliographie de math. RdC
logique mathématique # mathématique constructive # théorie de la preuve
00A15 ; 03-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 263 p.
ISBN 978-1-4471-4557-8
Universitext
Localisation : Ouvrage RdC (VAND)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 875 p.
ISBN 978-1-4471-4615-5
Localisation : Biographie RdC (BROU)
L.E.J. Brouwer # biographie # histoire de la topologie # mathématiques et nazisme # mathématiques Hollandaises
01A70 ; 01A55 ; 01A60 ; 00A30 ; 01-02 ; 01A72
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- VIII-653 p.
ISBN 978-3-03719-058-6
Heritage of European Mathematics
Localisation : Oeuvres complètes RdC (FREU)
Hans Freudenthal # théorie des groupes # oeuvres complètes # géométrie # groupes topologiques
00B60 ; 01A75 ; 20-06 ; 51-06 ; 22-06
... Lire [+]
