عنوان
پدید آورنده
موضوع
رده
QA 9.65 .B8 1973
QA
9
.
65
.
B8
1973
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
32428
عنوان و نام پديدآور
نام نخستين پديدآور
Buchi, J. Richard
عنوان اصلي
The monadic second order theory of all countable ordinals
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1973
مشخصات ظاهری
نام خاص و کميت اثر
vi, 217 p. 26 cm.
فروست
عنوان فروست
Decidable theories, 2
عنوان فروست
Lecture notes in mathematics, 823
يادداشت کلی
متن يادداشت
Includes bibliographical references
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
]by[ J. Richard Buchi, Dirk Siefkes
یادداشتهای مربوط به مندرجات
متن يادداشت
Buchi, J. R. The monadic second order theory of ]omega symbol[?b1s.-- Buchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of ]omega symbol[ b1s
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Model theory
رده بندی ديویی
شماره
510/
.
8
s
511/
.
3
رده بندی کنگره
شماره رده
QA
9
.
65
.
B8
1973
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU kriD ,sekfeiS
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ی‌اض‌ه ری‌ه دانشکد‌ان‌ابخ‌کت
