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

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

عنوان فارسی :

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

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

زبان : English

موضوع : Mathematics->Logic

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

ناشر : Elsevier

ISBN (شابک) : 0444516204, 9780444516206

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

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

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

قیمت : 2000 تومان

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

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

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 :
......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

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

دانلود کتاب diFiore's Atlas of Histology with Functional Correlations (Point (Lippincott Williams & Wilkins))

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

دانلود کتاب Anatomy of Hatha Yoga: A Manual for Students, Teachers, and Practitioners

دانلود کتاب Pichlmayrs Chirurgische Therapie. Mit DVD-Video: Allgemein-,Viszeral- und Transplantationschirurgie

دانلود کتاب Paravasation von Zytostatika: Ein Kompendium für Prävention und Therapie

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

دانلود کتاب Effective C++: 55 Specific Ways to Improve Your Programs and Designs (3rd Edition)

دانلود کتاب Programming Razor

دانلود کتاب Head First iPhone Development: A Learner's Guide to Creating Objective-C Applications for the iPhone

دانلود کتاب HTML5 Games Development by Example: Beginner's Guide

دانلود کتاب Metasploit: The Penetration Tester's Guide

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

دانلود کتاب The Realism-Antirealism Debate in the Age of Alternative Logics

دانلود کتاب 475th Fighter Group

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

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

دانلود کتاب Industrial Control Systems: Advances and Applications, First Edition (Repost)

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

دانلود کتاب Nanoscale Multifunctional Materials: Science & Applications

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

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

دانلود کتاب Manufacturing Technology Research, Volume 1

دانلود کتاب Fundamentals of Fusion Welding Technology

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

دانلود کتاب Islam

دانلود کتاب Exodus Through the Centuries (Blackwell Bible Commentaries)

دانلود کتاب Heart of Islam, The: Enduring Values for Humanity

دانلود کتاب Philosophizing the Everyday: Revolutionary Praxis and the Fate of Cultural Theory (Marxism and Culture)

دانلود کتاب Buddhism

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

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

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

دانلود کتاب Thinking, Fast and Slow

دانلود کتاب Psychiatrie: einschließlich Psychotherapie (Springer-Lehrbuch)

دانلود کتاب Identity, Motivation and Autonomy in Language Learning (Second Language Acquisition)

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

دانلود کتاب World War I: People, Politics, and Power

دانلود کتاب Russian T-34 Battle Tank.

دانلود کتاب Japan's Total Empire: Manchuria and the Culture of Wartime Imperialism (Twentieth Century Japan: The Emergence of a World Power)

دانلود کتاب History of Warfare: War In The Air 1914-45

دانلود کتاب Republic RF-84F Thunderflash

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

دانلود کتاب Apoptosis: Physiology and Pathology

دانلود کتاب God's Healing Leaves

دانلود کتاب From Genesis to Genetics: The Case of Evolution and Creationism

دانلود کتاب Human Body

دانلود کتاب Biointerface Characterization by Advanced IR Spectroscopy

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

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

دانلود کتاب Making an Impact Online

دانلود کتاب BSAVA Manual of Canine and Feline Wound Management and Reconstruction

دانلود کتاب Design and Equipment for Restaurants and Foodservice

دانلود کتاب

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

دانلود کتاب Ester Formation and Hydrolysis and Related Reactions

دانلود کتاب Precedents in Architecture

دانلود کتاب New Retail

دانلود کتاب Planning in the USA: Policies, Issues and Processes

دانلود کتاب Innovation in Architecture: A Path to the Future

کتاب های حقوق

دانلود کتاب White Collar Crime: An Opportunity Perspective

دانلود کتاب American Frontier Lawmen 1850 -1930

دانلود کتاب Human Rights And Capitalism: A Multidisciplinary Perspective on Globalisation (Corporations, Globalisation and the Law Series)

دانلود کتاب The Philosophy of Law: An Encyclopedia (Garland Reference Library of the Humanities) (2 Volumes)

دانلود کتاب From Nuremberg to The Hague: The Future of International Criminal Justice

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

دانلود کتاب Postmodernism, or, The cultural logic of late capitalism

دانلود کتاب Process and Reality: An Essay in Cosmology

دانلود کتاب Encyclopedia of Contemporary American Culture

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

دانلود کتاب Sociological Theory (8th Edition)