Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 280 p.
Cote : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire
03-XX ; 03-99 ; 03A05
Localisation : Ouvrage RdC (GIRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xiii; 151 p.
Cote : 00035401
logique # calcul complexe # théorie de la récursion # ensemble de Julia # modèles de calcul
03D15 ; 03D80 ; 37F10 ; 37F50 ; 65Y20 ; 68Q05 ; 68Q17 ; 03-99
Localisation : Ouvrage RdC (BRAV)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xvi; 280 p.
Cote : 00037293
logique mathématique # phylosophie des mathématiques
03-99 ; 00A30
Localisation : Ouvrage RdC (POLY)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- x; 225 p.
Cote : 00037294
logique mathématique # phylosophie des mathématiques
00A30 ; 03-99
Localisation : Ouvrage RdC (POLY)
English