m
     
MathCongrès

H 0 Models and computability

Cooper, S. Barry (Ed.) ; Truss, John K. (Ed.)

Cambridge university Press

1999

ix, 419 p. ; 23 cm

39754

modèle ; calculabilité ; déterminisme ; décision ; récursivité ; groupe simple


Exemplaires

Nbre d'exemplaires : 1
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

Z