m

F Nous contacter

0

Documents  03-99 | enregistrements trouvés : 4

O
     

-A +A

P Q

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 [+]

Z