المقتنيات: Büchi's monadic second order successor arithmetic

محفوظ في:

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Decidable theories, 1
المؤلف الرئيسي:	Siefkes, Dirk
مؤلفون آخرون:	Müller, Gert Heinz, 1923-2006 (مدير النشر)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
سلاسل:	Lecture notes in mathematics 120
الموضوعات:	Théorie des machines séquentielles Calcul des prédicats Décidabilité (logique mathématique) Logique symbolique et mathématique Mathématiques
الوصول للمادة أونلاين:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
ملاحظة:	Date de publication de la ressource numérique non renseignée sur le site de l'éditeur Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Consulter le titre dans une bibliothèque:
Edition sous un autre format:	• Büchi's monadic second order successor arithmetic, Dirk Siefkes,..., Berlin, Springer-Verlag, 1970, 1 vol. (XII-130 p.), Lecture notes in mathematics, 0-387-04909-6