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

Publisher City : Amsterdam ; N.Y. ; Oxford

Publisher country : Pays-Bas

Language : English

EAN13 : 9780444853455

ISBN : 0-444-85345-6

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

Series : Studies in logic and the foundations of mathematics

Nb in series : 0101

Location : Colloque 1er étage (MADI)

Event Year : 1978

City of congres : Madison

Country of congres : États-Unis

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies