Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Gödel '96 (1996 ; Brno, République tchèque)  Voir les notices liées en tant qu'auteur

Titre(s) : Gödel '96 [Texte imprimé] : logical foundations of mathematics, computer science and physics : Kurt Gödel's legacy : Brno, Czech Republic, August 1996, proceedings / ed. Petr Hájek

Publication : Berlin ; Heidelberg ; New York : Springer, 1996

Description matérielle : 322 p. : ill. ; 25 cm

Collection : Lecture notes in logic ; 6

Lien à la collection : Lecture notes in logic  Voir toutes les notices liées

Note(s) : Bibliogr. à la fin de chaque chap.

Autre(s) auteur(s) : Hájek, Petr (1940-2016). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Identifiants, prix et caractéristiques : ISBN 3-540-61434-6 (br.)

Identifiant de la notice  : ark:/12148/cb37514155x

Notice n° :  FRBNF37514155