m

F Nous contacter

0

Documents  Torkel, Franzèn | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 172 p.
ISBN 978-1-56881-238-0

Localisation : Ouvrage RdC (TORK)

logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel

03-01 ; 03F30 ; 03F40

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z