Théorème d'incomplétude de Gödel / Par Philippe ROYER
Langue : français.Pays : France.Publication : Lille : IREM de Lille, 2002Description : 34 p. ; 30cm.ISBN : 2912126134.Sujet: Enoncé | langage du premier ordre | théorie du premier ordre | Démonstration | théorème | syntaxe | sémantique | Algorithme | récursivité | non- contradiction | complétude | incomplétude| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Brochure (irem, autres) | IREM P7 | LIL dublirem 2002 112 Gödel (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 4229 |
Il n'y a pas de commentaire pour ce titre.