Gödel # logique # preuve non constructive # théorie des modèles # théorème d'indécidabilité # théorème de Gödel

Responsable Collectivité : Centre de Recherches Sémiologiques

Ville d'édition : Neuhâtel

Pays d'édition : France

Langue : Français

Collation : 200 p ; 21 cm ; Bibliogr. ; broch.

Collection : Travaux de logique

N° de collection : 0007

Localisation : Colloque 1er étage (NEUC)

Nom de la rencontre : Gödel, Kurt actes du colloque

Année de la rencontre : 1991

Ville du congrès : Neuchâtel

Pays du congrès : France

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires