عنوان
پدید آورنده
موضوع
رده
QA 9 .N53 2002
QA
9
.
N53
2002
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
130233
شماره استاندارد
135114
شماره استاندارد
138734
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بها‌ر۱۸
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20-24(
نام نخستين پديدآور
Nievergelt, Yves
عنوان اصلي
Foundations of logic and mathematics: applications to computer science and cryptography
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Birkhauser
تاریخ نشرو بخش و غیره
2002
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 415 p.: ill.; 26 cm
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Set theory
عنصر شناسه ای
، Number theory
عنصر شناسه ای
، Computer science-- Mathematics
رده بندی کنگره
شماره رده
QA
9
.
N53
2002
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Yves Nievergelt
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
165
نحوه قرار گرفتن مدرك روي قفسه
02
نحوه قرار گرفتن مدرك روي قفسه
02
