addition # calcul des prédicats # fondement des mathématiques # induction # logique axiomatique # logique formelle # multiplication # représ entation formelle # récursivité # soustraction # système axiomatique # théorie de la récursion # théorie des nombres

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

Pays d'édition : Allemagne RFA

Langue : Allemand

Collation : Index ; xv#errata#24 cm#rel.

Collection : Grundlehren der mathematischen wissenschaften

N° de collection : 0040

Localisation : Collection 1er étage ; Réserve

Type d'ouvrage : Monographie

Disponibilité : empruntable ; Exclu du prêt

Niveau d'autorisation : Public

Exemplaires