Gödel '96
logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy, Brno, Czech Republic August 1996, Proceedings
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | C/BRUN/1996 | 00018896 | [disponible] |