H Models and computability
Cooper, S. Barry (Ed.) ; Truss, John K. (Ed.)
1999
ix, 419 p. ; 23 cm
39754
modèle ; calculabilité ; déterminisme ; décision ; récursivité ; groupe simple
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 39754 | 1020182 | PROC 03C MOD |
Sous-titre : invited papers from logic colloquium'97 - european meeting of the association for symbolic logic, Leeds, July 1997
ISBN10 : 0-521-63550-0
Type de doc : C
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : London mathematical society lecture note series
N° dans la collection : 259
ISSN Collection : 0076-0552
Bibliographie : Notes bibliogr.
Class. Math. 2000 : 03-06 ; 03Cxx ; 03Dxx
Nom congres : Logic colloquium
Ville du congrès : Leeds
Pays congres : gb
Année du congres : 1997
Année de soutenance : 0
Lien SUDOC : https://www.sudoc.fr/04910425X