m
MathCongrès

H 0 Logic colloquium 76

Gandy, R.O. (Ed.) ; Hyland, J.M.E. (Ed.)

North-Holland

1977

x-612

16107

théorie des modèles ; théorie des ensembles ; récursion


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 16107 1024808 PROC 03-03 LOG

ISBN10 : 0-7204-2200-0

Type de doc : C

Ville d'édition : Amsterdam

Pays d'édition : nl

Langue ouvrage : eng

Collection : Studies in logic and the foundations of mathematics

N° dans la collection : 087

ISSN Collection : 0049-237X

Class. Math. 1991 : 02-03 ; 02B99 ; 02H25 ; 02K99 ; 03-03 ; 03Cxx ; 03Dxx

Ville du congrès : Oxford

Pays congres : gb

Année du congres : 1976

ID notice : 0

Lien SUDOC : https://www.sudoc.fr/004860179

Z