- 320 p.
Cote : 00019929
arithmétique du premier ordre # classe de complexité # combinatoire # complexite de preuve # fragment # informatique-théorique # logique # mathématique construction # théorie de la preuve # théorie de récursion
03F20 ; 03F30 ; 03F50 ; 68Q15 ; 68R05
Localisation : Collection 1er étage