عنوان
پدید آورنده
موضوع
رده
QA248.5
QA248
.
5
کتابخانه
محل استقرار
شابک
شابک
1400882001
شابک
9781400882007
شابک اشتباه
069108047X
شابک اشتباه
9780691080475
عنوان و نام پديدآور
عنوان اصلي
Theory of formal systems /
نام عام مواد
[Book]
نام نخستين پديدآور
R.M. Smullyan.
وضعیت ویراست
وضعيت ويراست
Revised edition.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
[Place of publication not identified] :
نام ناشر، پخش کننده و غيره
Princeton U.P.,
تاریخ نشرو بخش و غیره
1961.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (147 pages)
فروست
عنوان فروست
Annals of mathematics studies ;
مشخصه جلد
47
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
JSTOR
شماره انبار
22573/ctt1b9g3dq
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Theory of formal systems.
شماره استاندارد بين المللي کتاب و موسيقي
069108047X
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Mathematics.
موضوع مستند نشده
Recursive functions.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Mathematics.
موضوع مستند نشده
Recursive functions.
موضوع مستند نشده
SCIENCE-- System Theory.
مقوله موضوعی
موضوع مستند نشده
SCI064000
رده بندی ديویی
شماره
511
.
33
ويراست
22
رده بندی کنگره
شماره رده
QA248
.
5
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Smullyan, Raymond M., (Raymond Merrill)
مبدا اصلی
تاريخ عمليات
20200822122619.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
