عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540391150
شابک
9783540391159
شماره کتابشناسی ملی
شماره
b565935
عنوان و نام پديدآور
عنوان اصلي
Proceedings of the Logic Colloquium :
نام عام مواد
[Book]
ساير اطلاعات عنواني
held in Aachen, July 18-23, 1983.
نام نخستين پديدآور
G H Müller
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1984
مشخصات ظاهری
نام خاص و کميت اثر
(2 volumes) : illustrations
فروست
عنوان فروست
Lecture notes in mathematics (Springer-Verlag), 1103-1104.
یادداشتهای مربوط به مندرجات
متن يادداشت
pt. 1. Models and sets / edited by G.H. Müller and M.M. Richter --; pt. 2. Computation and proof theory / edited by E. Börger ... et al.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Models and sets.; Computation and proof theory.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical -- Congresses.
موضوع مستند نشده
Logique algébrique -- Congrès.
موضوع مستند نشده
Modèles, Théorie des -- Congrès.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
G H Müller
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
G H Müller
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
