Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 151 p.
ISBN 978-3-540-68546-3
Algorithms and computation in mathematics , 0023
Localisation : Ouvrage RdC (BRAV)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 280 p.
ISBN 978-0-691-08005-5
Localisation : Ouvrage RdC (POLY)
logique mathématique # phylosophie des mathématiques
03-99 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 280 p.
ISBN 978-2-7056-6633-0
Vision des sciences
Localisation : Ouvrage RdC (GIRA)
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire
03-XX ; 03-99 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 225 p.
Localisation : Ouvrage RdC (POLY)
logique mathématique # phylosophie des mathématiques
00A30 ; 03-99
... Lire [+]
