m

F Nous contacter

0

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

O
K L Q M | g | F x r
     

-A +A

P Q

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

Gödel's theorem :
an incomplete guide to its use and abuse Torkel, Franzèn | A.K. Peters 2005

Ouvrage

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

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Filtrer

Auteurs

Torkel, Franzèn [1]

Référence

A.K. Peters [1]

Codes MSC

03-01 [1]

03F30 [1]

03F40 [1]

Date de parution

2005 [1]

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée

0
Z