عنوان
پدید آورنده
موضوع
رده
QA 76 .B7
QA
76
.
B7
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
34910
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام نخستين پديدآور
Braffort, Paul
عنوان اصلي
Computer programming and formal systems
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North-Holland Pub. Co.
تاریخ نشرو بخش و غیره
1963
مشخصات ظاهری
نام خاص و کميت اثر
vi, 161 p. illus. 22 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics
يادداشت کلی
متن يادداشت
Imprint covered by label: New York, Humanities Press
متن يادداشت
Includes bibliographies
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Edited by P. Braffort and D. Hirschberg
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Addresses, essays, lectures ، Computer programming
رده بندی کنگره
شماره رده
QA
76
.
B7
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU divaD ,grebhcsriH joint ed
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ی‌اض‌ه ری‌ه دانشکد‌ان‌ابخ‌کت
