H Some consistency strength analyses using higher core models
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 41170 | 1029178 | RESERVE [non empruntable] |
Type de doc : TD
Ville d'édition : Bonn
Pays d'édition : de
Langue ouvrage : eng
Collection : Bonner mathematische schriften
N° dans la collection : 329
ISSN Collection : 0524-045X
Bibliographie : Bibliogr. p. 99-102
Class. Math. 2000 : 03-02 ; 03E45
Ville de soutenance : Bonn
Année de soutenance : 2000
Spécialité de la thèse : Math.
Lien SUDOC : https://www.sudoc.fr/194824810