مشخصات کتاب

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

دسته بندی: منطق
ویرایش:  
نویسندگان: Gert H. Müller,  Jane E. Kister,  Dirk van Dalen,  Anne S. Troelstra (eds.)  
سری: Perspectives in Mathematical Logic 
ISBN (شابک) : 9783662090695, 9783662090671 
ناشر: Springer 
سال نشر: 1987 
تعداد صفحات: 436 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

در صورت تبدیل فایل کتاب Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Ω-کتابشناسی منطق ریاضی. جلد 6: نظریه اثبات. ریاضیات سازنده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Content: 
Front Matter....Pages I-XLI
Subject Index....Pages 1-139
Author Index....Pages 141-328
Source Index....Pages 329-379
Miscellaneous Indexes....Pages 381-405

نظرات کاربران

کتاب های مرتبط

دانلود کتاب The Logic of Hegel’s Logic: An Introduction

دانلود کتاب Problems in the Philosophy of Science

دانلود کتاب The Idea of Dialogical Phenomenology

دانلود کتاب Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

دانلود کتاب Some applications of the method of forcing (1995)

دانلود کتاب Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

دانلود کتاب The Tutu Archaeological Village Site: A Multi-disciplinary Case Study in Human Adaptation

دانلود کتاب Handbook of the History of Logic. Volume 05: Logic from Russell to Church

دانلود کتاب A Primer for Logic and Proof

دانلود کتاب Diagonalization and Self-Reference