analyse classique # arbre bien fondé récursif primitif # bon ordonnancement récursif # formule de Harrop # induction transfinie classique # langage # paramètre de fonction # preuve de consistance # preuve de consistance relative # principe de Markov # prédicat décidable # syntaxe # système d'analyse # système intuitioniste de théorie des nombres # système intuitioniste formel # système à induction barrée # théorie de la preuve # théorie intuitioniste formelle

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

EAN13 : 9783540055419

ISBN : 3-540-05541-X

Collation : 26 cm ; 290 p. ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0212

Localisation : Collection 1er étage

Notes : 3 volumes reliés L20326 à L20328

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires