analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # problème de Post # réalisabilité de Kleene # récursion et induction monotone # structure de Frege # théorie de la preuve et analyse non standard # théorie du premier ordre

Ville d'édition : Amsterdam ; N.Y. ; Oxford

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780444853455

ISBN : 0-444-85345-6

Collation : 1 portr. ; 23 cm ; 425 p. ; rel. ; XX

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0101

Localisation : Colloque 1er étage (MADI)

Année de la rencontre : 1978

Ville du congrès : Madison

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires