شماره ركورد
1020
پديد آور
ناگل، ارنست
تولد/وفات
1901-
عنوان
برهان گودل و حقيقت و برهان
شرح پديد آور
نويسندگان ارنست ناگل ، ج. نيومن و آلفرد تارسكي ؛ترجمه محمد اردشير
اطلاعات نشر
مولي
سال نشر
1364
مشخصات ظاهري
145،[6] ص
يادداشت
كتابنامه : ص.[105] , عنوان اصلي : Godel's proof , بالاي عنوان : مباحثي در فلسفه رياضي
موضوع
منطق رياضي , گودل ، قضيه
شناسه هاي افزوده
اردشير، محمد، مترجم , تارسكي ، آلفرد، Alfred.1982 - 1902, .Tarskiنويسنده همكار , نيومن ، جيمز روي، 1966 - 1907، James Roy, .Newmanنويسنده همكار ,
ردة اصلي
QA
شماره
9/65
شمارة کاتر
/ن2ب4
تاريخ
1364
واردكنندة اطلاعات
شيدافر