m

F Nous contacter

0
     
Congrès

H 0 Travaux de logique
Gödel, Kurt Actes du colloque, Neuchâtel 13-14 Juin, 1991

Miéville, Denis (Editeur)

Centre de recherches sémiologiques

1991

00017263

03-06

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/NEUC/1991 00017263 [disponible]
Z