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.
