Buchi`s monadic second order successor arithmetic
Siefkes, Dirk.
Buchi`s monadic second order successor arithmetic
المؤلف
Siefkes, Dirk.طبع 1
قائمة
شناسنامه
المدخل الرئيسي
Siefkes, Dirk.، نویسندهالعنوان واسم المؤلف
Buchi`s monadic second order successor arithmeticبيانات النشر
برلین : : Springer Verlag، 1970مالمواصفات الشكلية
xii, 130p.؛ ; 26 cm.الموضوع
Predicate calculusSequential machine theory
مسلسل
(Lecture notes in mathematics, 120؛ )(Decidable theories, 1؛ )
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
انگليسي.
Bibliography :p. [125]-127.
Bibliography :p. [125]-127.
