m

Documents  Lerman, Manuel | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 320 p.
ISBN 978-0-8218-1922-7

Contemporary mathematics , 0257

Localisation : Collection 1er étage

application de la calculabilité # arithmétique # arithmétique d"ordre élevé # degré # degré de Turin # ensemble récursivement énumérable # fonction calculable # logique # modèle nonstandard # numération # récurrence # réductibilité # théorie de récurrence # théorie des modèles # théorie descriptive des ensembles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 307 p.
ISBN 978-0-387-12155-0

Perspectives in mathematical logic

Localisation : Ouvrage RdC (LERM)

degré de non solvabilité # fonction récurrente # hiérarchie # opérateur des sauts # segment initial # treillis

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvi; 176 p.
ISBN 978-0-521-11969-6

Lecture notes in logic , 0034

Localisation : Ouvrage RdC (LERM)

théorie de la preuve # choix # logique formelle # logique mathématique # ensemble recursivement enumerable # problème de Post # retour arrière # dommages finis # dommages infinis

... Lire [+]

Z