Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 212 p.
University mathematics series
Localisation : Ouvrage RdC (ROBB)
arithmétique et syntaxe # calcul propositionnel # logique du premier ordre ou du second ordre # logique mathématique # paradoxe du menteur # théorème d'incomplétude
03-01 ; 03B05 ; 03B10 ; 03B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- v; 114 p.
ISBN 978-0-8218-9886-4
Memoirs of the american mathematical society , 1080
Localisation : Collection 1er étage
homologie de Floer # topologie différentielle
57R58 ; 57R42
... Lire [+]
