H Sets, models and recursion theory
Crossley, J.N. (Ed.)
1967
331
7604
logique mathématique ; récursion ; théorie des modèles ; théorie des ensembles
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 7604 | 1024754 | PROC 03-XX SET |
Type de doc : C
Ville d'édition : Amsterdam
Langue ouvrage : eng
Collection : Studies in logic and the foundations of mathematics
ISSN Collection : 0049-237X
Class. Math. 1991 : 03-XX ; 03Cxx ; 03Dxx ; 03Exx
Nom congres : Summer school in mathematical logic and tenth logic colloquium
Numéro congres : 10
Ville du congrès : Leicester
Pays congres : gb
Année du congres : 1965
Lien SUDOC : https://www.sudoc.fr/005631637