m
     
Congrès

H 0 Gödel '96
logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy, Brno, Czech Republic August 1996, Proceedings

Hajek, Petr (Editeur)

Springer-Verlag

1996

978-3-540-61434-0

00018896

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540614340

ISBN : 3-540-61434-6

Collation : 24 cm ; 322 p. ; broch. ; viii

Collection : Lecture notes in logic

N° de collection : 0006

Localisation : Colloque 1er étage (BRUN)

Nom de la rencontre : logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy, Brno, Czech Republic August 1996, Proceedings

Année de la rencontre : 1996

Ville du congrès : Bruno

Pays du congrès : cze

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/BRUN/1996 00018896 [disponible]
Z