Slicing the truth:
on the computable and reverse mathematics of combinatorial principles
ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA
Ville d'édition : Singapore ; Hackensack ; London
Pays d'édition : Singapour ; États-Unis ; Grande-Bretagne
Langue : Anglais
EAN13 : 9789814612616
ISSN : 1793-0758
Collation : 24 cm#rel.#bibliogr.
Collection : Lecture notes series
N° de collection : 0028
Localisation : Ouvrage RdC (HIRS)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00039184 | [disponible] |