Cote : 00020397
application de modèle de Kripke # arbre et ordinal # définition inductive itérée # fonctionnelle majorable héréditairement de type défini # fonctionnelle récursive primitive # investigation métamathématique d'arithmétique ou analyse int # modèle et calculabilité # réalisabilité et interprétation fonctionnelle # système formel intuitioniste # théorème de normalisation pour système de déduction naturell
03F99 ; 03B55 ; 03F55 ; 03-02
Localisation : Collection 1er étage