Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 136 p.
Seminaire de mathematiques superieures , 0006
Localisation : Salle de manutention
logique mathematiques # theorie des modeles
03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-2-225-84080-7
Axiomes
Localisation : Ouvrage RdC (CORI)
fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel
03Cxx ; 03D20 ; 03Exx ; 03F40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 374 p.
ISBN 978-2-10-005453-4
Localisation : Enseignement RdC (CORI)
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles
03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30
... Lire [+]
