نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Finite model theory
پدید آورنده
Ebbinghaus, Heinz-Dieter,9391-,Heinz-Dieter Ebbinghaus, Jorg Flum
موضوع
، Model theory
رده
QA
9
.
7
.
E23
1999
کتابخانه
كتابخانه و مركز اسناد دانشگاه كردستان
محل استقرار
استان:
کردستان
ـ شهر:
سنندج
تماس با کتابخانه :
33624006
-
087
شناسگر استاندارد دیگر
شماره استاندارد
14138
عنوان و نام پديدآور
نام نخستين پديدآور
Ebbinghaus, Heinz-Dieter,9391-
عنوان اصلي
Finite model theory
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1999
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 360 p.;24 cm
فروست
عنوان فروست
Perspectives in mathematical logic,2710-1466
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. ]339[-347( and index
یادداشتهای مربوط به ویراست و تاریخچه کتابشناختی اثر
متن يادداشت
2nd rev. and enl. ed
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Model theory
رده بندی ديویی
شماره
511
رده بندی کنگره
شماره رده
QA
9
.
7
.
E23
1999
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Heinz-Dieter Ebbinghaus, Jorg Flum
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU groJ ,mulF
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ه مرکزیانابخن کتش التیبخ
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد