عنوان
پدید آورنده
موضوع
رده
QA9.A1 L63 1981
QA9
.
A1
L63
1981
کتابخانه
محل استقرار
شابک
شابک
0444864172
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Logic Colloquium '81 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of the Herbrand symposium held in Marseilles, France, July 1981 /
نام نخستين پديدآور
edited by J. Stern
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, N.Y. :
نام ناشر، پخش کننده و غيره
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
تاریخ نشرو بخش و غیره
1982
مشخصات ظاهری
نام خاص و کميت اثر
xi, 384 p. ;
ابعاد
23 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics ;
شاپا ي ISSN فروست
v. 107
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical-- Congresses
رده بندی کنگره
شماره رده
QA9
.
A1
نشانه اثر
L63
1981
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Herbrand, Jacques,1908-1931
مستند نام اشخاص تاييد نشده
Stern, J., (Jacques),1949-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
Logic Colloquium(1981 :, Marseille, France)
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
