A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calcul des predicats recursion hierarchie'
Affiner la recherche Générer le flux rss de la recherche
Buchi's monadic second order successor arithmetic / Siefkes, D.
Titre : Buchi's monadic second order successor arithmetic Type de document : texte imprimé Auteurs : Siefkes, D. Editeur : Springer-Verlag Année de publication : 1970 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 120 Importance : XII-130 p. Langues : Anglais Mots-clés : calcul des predicats recursion hierarchie Index. décimale : LNM Buchi's monadic second order successor arithmetic [texte imprimé] / Siefkes, D. . - [S.l.] : Springer-Verlag, 1970 . - XII-130 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 120) .
Langues : Anglais
Mots-clés : calcul des predicats recursion hierarchie Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 7177 LNM/120 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible