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