عنوان
پدید آورنده
موضوع
رده
QA9.46 .I57 1985
QA9
.
46
.
I57
1985
کتابخانه
محل استقرار
شابک
شابک
0444876324 (U.S.)
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Intensional mathematics /
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Stewart Shapiro
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New YorK, N.Y., U.S.A. :
نام ناشر، پخش کننده و غيره
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
تاریخ نشرو بخش و غیره
1985
تاریخ پیش بینی شده انتشار
تاريخ
8412
مشخصات ظاهری
نام خاص و کميت اثر
v, 230 p. ;
ابعاد
23 cm
فروست
عنوان فروست
Studies in logic and the foundations of mathematics
مشخصه جلد
v. 113
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Constructive mathematics
موضوع مستند نشده
Intuitionistic mathematics
موضوع مستند نشده
Modality (Logic)
رده بندی ديویی
شماره
511
ويراست
19
رده بندی کنگره
شماره رده
QA9
.
46
نشانه اثر
.
I57
1985
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Shapiro, Stewart,1951-
مبدا اصلی
تاريخ عمليات
19850312000000.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
