A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Siefkes, D.
Documents disponibles écrits par cet auteur
Affiner 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 The monadic second order theory of all countable ordinals / Buchi, J. Richard
Titre : The monadic second order theory of all countable ordinals Type de document : texte imprimé Auteurs : Buchi, J. Richard ; Siefkes, D. Editeur : Springer-Verlag Année de publication : 1973 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 328 Importance : Vi-217 p. ISBN/ISSN/EAN : 978-0-387-06345-4 Langues : Anglais Mots-clés : logique Index. décimale : LNM The monadic second order theory of all countable ordinals [texte imprimé] / Buchi, J. Richard ; Siefkes, D. . - [S.l.] : Springer-Verlag, 1973 . - Vi-217 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 328) .
ISBN : 978-0-387-06345-4
Langues : Anglais
Mots-clés : logique Index. décimale : LNM Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 6263 LNM/328 imprimé / autre CRDM LNM/LECTURES NOTES IN MATHEMATICS Disponible