دانلود کتاب Logic colloquium ’90: Proc. Helsinki 1990
49,000 تومان
گفتگوی منطقی ’90: Proc. هلسینکی 1990
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 324 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9783540570943,3540570942 |
| نوبت چاپ | 1 |
| نویسنده | Jouko Väänänen, Juha M.R. Oikkonen |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1994 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
گفتگوی منطقی ’90: Proc. هلسینکی 1990
این جلد، مجموعه مقالات کنفرانس منطق 90 است که از 15 ژوئیه تا 22 ژوئیه 1990 در هلسینکی، فنلاند برگزار شد. این کنگره به مجموعه سالانه نشست های تابستانی اروپایی انجمن منطق نمادین تعلق دارد. این مجموعه شامل 13 مقاله پژوهشی است که عمدتاً توسط سخنرانان دعوت شده کنگره نوشته شده است. آنها همه زمینه های منطق ریاضی را از فلسفه ریاضیات از طریق نظریه مدل، نظریه اثبات، نظریه بازگشت و نظریه مجموعه ها، تا ارتباط منطق با علوم کامپیوتر را نشان می دهند.
Logic colloquium ’90: Proc. Helsinki 1990
This volume is the Proceedings of Logic Colloquium 90 held in Helsinki, Finland, from July 15 to July 22, 1990. The congress belongs to the annual series of the European Summer Meetings of the Association for Symbolic Logic. These proceedings contain 13 research papers written mainly by the invited speakers of the congress. They represent all fields of mathematical logic from the philosophy of mathematics through model theory, proof theory, recursion theory and set theory, to connections of logic to computer science.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.