m

F Nous contacter

0

Documents  Kleene, Stephen Cole | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 550 p.
ISBN 978-0-7204-2103-3

Bibliotheca mathematics , 0001

Localisation : Ouvrage RdC (KLEE)

calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel

00A30 ; 03B22 ; 03D10 ; 03D20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 206 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KLEE)

analyse intuitive # continuum intuitif # logique # logique formelle # ordre de continu # postulat # réalisabilité # système formel

03A50 ; 03B20 ; 03Bxx ; 04A30

... Lire [+]

Z