عنوان
پدید آورنده
موضوع
رده
QA9 .S48 1991eb
QA9
.
S48
1991eb
کتابخانه
محل استقرار
شابک
شابک
0198533918
شابک
9780198533917
شابک اشتباه
0198250290
شماره کتابشناسی ملی
شماره
b785561
عنوان و نام پديدآور
عنوان اصلي
Foundations without foundationalism :
نام عام مواد
[Book]
ساير اطلاعات عنواني
a case for second-order logic /
نام نخستين پديدآور
Stewart Shapiro.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford :
نام ناشر، پخش کننده و غيره
Clarendon Press,
تاریخ نشرو بخش و غیره
©1991.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xx, 277 pages)
فروست
عنوان فروست
Oxford logic guides ;
عنوان فروست
Oxford science publications
مشخصه جلد
17
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Terms and questions -- Foundationalism and foundations of mathematics -- Theory -- Metatheory -- Second-order logic and mathematics -- Advanced metatheory -- The historical "triumph" of first-order languages -- Second-order logic and rule-following -- The competition.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Foundations without foundationalism.
شماره استاندارد بين المللي کتاب و موسيقي
9780198533917
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logique symbolique et mathématique.
موضوع مستند نشده
MATHEMATICS-- Infinity.
موضوع مستند نشده
MATHEMATICS-- Logic.
موضوع مستند نشده
Wiskundige logica.
مقوله موضوعی
موضوع مستند نشده
MAT-- 016000
موضوع مستند نشده
MAT-- 018000
رده بندی ديویی
شماره
511
.
3
ويراست
22
رده بندی کنگره
شماره رده
QA9
نشانه اثر
.
S48
1991eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Shapiro, Stewart,1951-
مبدا اصلی
تاريخ عمليات
20201206232704.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
