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

عنوان فارسی :

دانلود کتاب راهنمای تاریخ منطق. دوره 05: منطق از راسل به کلیسا

عنوان انگلیسی :

Handbook of the History of Logic. Volume 05: Logic from Russell to Church

زبان : English

موضوع : Mathematics->Logic

نویسندگان : Dov M. Gabbay John Woods (eds.)

ناشر : Elsevier

ISBN (شابک) : 0444516204, 9780444516206

تعداد صفحات : 1069\1069

سال نشر : 2009     ویرایش :

حجم : 5 MB       فرمت : pdf

قیمت : 4000 تومان

خلاصه کتاب به فارسی (ترجمه خودکار و سیستمی) و خارجی:
این جلد شماره پنج در کتاب یازدهم کتاب تاریخ منطق است. این نخستین پنجاه سال توسعه منطق ریاضی در قرن بیستم را پوشش می دهد و بر موفقیت های نام های بزرگ دوره تمرکز می کند؛ راسل، پست، گلف، تارسکی، کلیسا و مانند آن. این دوره ای بود که منطق ریاضی آن را به چهار قسمت اصلی تقسیم کرد؟ نظریه مجموعه، نظریه مدل، نظریه اثبات و نظریه بازگشتی. در مجموع این کار به عنوان یکی از بزرگترین دستاوردهای تاریخ فکری ما به حساب می آید. نوشته شده توسط محققان برجسته در زمینه، هر دو این حجم و کتابچه در مجموع به عنوان ابزار مرجع قطعی برای دانشجویان ارشد، دانشجویان و محققان در تاریخ منطق، تاریخ فلسفه و هر رشته نظری مانند ریاضیات، علوم رایانه ، هوش مصنوعی، که پیشینه تاریخی کار خود را در نظر می گیرد. . کل محدوده ی منطق مودال پوشش داده شده است. به عنوان یک اثر منحصر به فرد به تاریخ فکری قرن بیستم خدمت می کند. شامل آخرین اکتشافات علمی و بینش تفسیری است

خلاصه کتاب به زبان اصلی :

This volume is number five in the eleven volume Handbook of the History of Logic. It covers the first fifty years of the development of mathematical logic in the twentieth century, and concentrates on the achievements of the great names of the period; Russell, Post, G?del, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts ? set theory, model theory, proof theory and recursion theory. Collectively this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. . The entire range of modal logic is covered. Serves as a singular contribution to the intellectual history of the 20th century. Contains the latest scholarly discoveries and interpretative insights

فهرست :



Table of contents :
Cover
......Page 1
Handbook of the History of Logic, Volume 5, Logic from Russell to Church......Page 2
ISBN: 9780444516206......Page 3
Preface ......Page 8
Contributors ......Page 12
Bertrand Russell's Logic ......Page 14
Logic For Meinongian Object Theory Semantics ......Page 42
The Logic Of Brouwer And Heyting ......Page 90
Thoralf Albert Skolem ......Page 140
Jacques Herbrand: Life, Logic, and Automated Deduction......Page 208
The Logic Of The Tractatus ......Page 268
Lesniewski's Logic ......Page 318
Hilbert's Proof Theory......Page 334
Hilbert's Epsilon Calculus And Its Successors ......Page 398
Godel's Logic......Page 462
Tarski's Logic ......Page 524
Emil Post ......Page 630
Gentzen's Logic ......Page 680
Lambda-calculus And Combinators In The 20th Century ......Page 736
The Logic Of Church And Curry ......Page 832
Appendix ......Page 869
Paradoxes, Self-reference And Truth In The 20th Century ......Page 888
Index ......Page 1028




کتاب های پزشکی

دانلود کتاب Michael Jackson: The Magic, The Madness, The Whole Story, 1958-2009

دانلود کتاب Casarett and Doull's toxicology: the basic science of poisons Sixth Edition

دانلود کتاب Obstetric and Gynecologic Dermatology, Third Edition

دانلود کتاب Men's Health - Total Body Workbook

دانلود کتاب Fundamentals of Body CT (3rd Edition)

کتاب های کامپیوتر

دانلود کتاب An Introduction to Python and LaTeX (draft)

دانلود کتاب C# Programming: From Problem Analysis to Program Design, 3rd Edition

دانلود کتاب HTML, XHTML and CSS All-In-One For Dummies, 2nd Edition

دانلود کتاب MySQL Cookbook, 2nd Edition

دانلود کتاب IMAGE SEGMENTATION

کتاب های ریاضی

دانلود کتاب Fundamentals of Probability (2nd Edition)

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

دانلود کتاب The Probabilistic Method (Third edition)

دانلود کتاب Advances in Boundary Element Techniques

دانلود کتاب Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

کتاب های تکنولوژی

دانلود کتاب Advanced Technology for Design and Fabrication of Composite Materials and Structures: Applications to the Automotive, Marine, Aerospace and Construction Industry

دانلود کتاب Nanolubricants (Tribology in Practice Series)

دانلود کتاب Design and Analysis of Composite Structures: With Applications to Aerospace Structures

دانلود کتاب Fundamentals of Superconducting Nanoelectronics

دانلود کتاب Piping Hot Curves: Accent Curves in Quilts with Piping

کتاب های مذهبی

دانلود کتاب The Baptism and Gifts of the Spirit

دانلود کتاب Confucianism

دانلود کتاب Islam

دانلود کتاب A Popular Dictionary of Buddhism (Popular dictionaries of religion)

دانلود کتاب Can God Be Free?

کتاب های فیزیولوژی

دانلود کتاب The Kāma-Sūtra: Erotic figures in Indian art

دانلود کتاب Statistics without maths for psychology

دانلود کتاب Medizinische Psychologie und Soziologie

دانلود کتاب Simulation and Gaming for Mathematical Education: Epistemology and Teaching Strategies

دانلود کتاب Theories of Psychotherapy & Counseling: Concepts and Cases, 5th Edition

کتاب های تاریخی

دانلود کتاب Sea Eagles Volume One: Luftwaffe Anti-Shipping Units 1939-1941 (Luftwaffe Colours)

دانلود کتاب Red Wings over the Yalu: China, the Soviet Union, and the Air War in Korea

دانلود کتاب Pfalz D.IIIA (Windsock Datafile 21)

دانلود کتاب Spitfire Mk.I-II

دانلود کتاب The Nazi Germany Sourcebook: An Anthology of Texts

کتاب های زیست شناسی

دانلود کتاب Genetic Transformation

دانلود کتاب Ecology: Global Insights and Investigations

دانلود کتاب Multivariable Analysis: A Practical Guide for Clinicians and Public Health Researchers

دانلود کتاب

دانلود کتاب Introduction to Marine Biology

کتاب های اقتصاد

دانلود کتاب Inventory Control and Management, 2nd Edition

دانلود کتاب Corporate Value of Enterprise Risk Management: The Next Step in Business Management

دانلود کتاب Accounting for Decision Making and Control, 7th Edition

دانلود کتاب Financial Accounting

دانلود کتاب Enterprise Risk Management Best Practices: From Assessment to Ongoing Compliance (Wiley Corporate F&A)

کتاب های آموزشی

دانلود کتاب Towards a New Architecture

دانلود کتاب Teach Yourself to Make Angels and Fairies: Simple Techniques and Patterns for Dolls and Their Clothes

دانلود کتاب Effective Teaching with Internet Technologies: Pedagogy and Practice

دانلود کتاب How to Draw Manga: Giant Robots

دانلود کتاب Proceedings 10th international congress of world equine veterinary association /Сборник материалов 10-го всемирного конского конгресса

کتاب های حقوق

دانلود کتاب Denial of justice in international law

دانلود کتاب Unsolved Crimes (Criminal Investigations)

دانلود کتاب Law and Society in Vietnam: The Transition from Socialism in Comparative Perspective

دانلود کتاب Environmental liability and ecological damage in European law

دانلود کتاب Local remedies in international law

کتاب های علوم انسانی

دانلود کتاب Analysing Muslim Traditions (Islamic History and Civilization)

دانلود کتاب New Illustrated Treasury of Disney Songs

دانلود کتاب The Future of Power

دانلود کتاب Philosophy of Music: An Introduction

دانلود کتاب Culture, Class, Distinction