دانلود کتاب 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

قیمت : 20000 تومان

فهرست :



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





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

دانلود کتاب Basic Medical Endocrinology , Fourth Edition

دانلود کتاب Ultrasound in Obstetrics And Gynecology: Textbook and Atlas, Volume 2 - Gynecology

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

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

دانلود کتاب Interpretation of canine and feline urinalysis

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

دانلود کتاب The Fairly Incomplete and Rather Badly Illustrated Monty Python Songbook

دانلود کتاب Parallel Programming with Microsoft Visual Studio 2010 Step by Step

دانلود کتاب Understanding Adobe Photoshop CS4: The Essential Techniques for Imaging Professionals

دانلود کتاب Oracle E-Business Suite 12 Financials Cookbook

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

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

دانلود کتاب Signal Analysis: Wavelets, Filter Banks, Time-Frequency Transforms and Applications

دانلود کتاب Fundamentals of Digital Logic and Microcomputer Design

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

دانلود کتاب Wavelets and Filter Banks

دانلود کتاب 86th Fighter Group in WWII

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

دانلود کتاب Welding and Joining of Magnesium Alloys (Woodhead Publishing in Materials)

دانلود کتاب Lipid Nanocarriers in Cancer Diagnosis and Therapy

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

دانلود کتاب Nanostructure Design: Methods and Protocols

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

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

دانلود کتاب Religion and Society in Roman Palestine: Old Questions, New Approaches

دانلود کتاب Old Testament Theology: 1 (Old Testament Library)

دانلود کتاب The World's Great Philosophers

دانلود کتاب Jesus and the Spirit: A Study of the Religious and Charismatic Experience of Jesus and the First Christians as Reflected in the New Testamen: A Study ... Christians as Reflected in the New Testament

دانلود کتاب I, II, III John: A Handbook on the Greek Text (Baylor Handbook on the Greek New Testament)

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

دانلود کتاب Charles Darwin - ein Leben. Autobiographie, Briefe, Dokumente.

دانلود کتاب Hypnosis for Chronic Pain Management: Therapist Guide

دانلود کتاب Paulo Freire: Rousseau of the Twentieth Century

دانلود کتاب Kompendium Praktische Psychiatrie

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

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

دانلود کتاب Roman Warfare

دانلود کتاب The Matter of the Page: Essays in Search of Ancient and Medieval Authors (Wisconsin Studies in Classics)

دانلود کتاب Spy Planes and Other Reconnaissance Aircraft

دانلود کتاب Stuka Volume Two: Luftwaffe Ju 87 Dive-Bomber Units 1942-1945 (Luftwaffe Colours)

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

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

دانلود کتاب Tiny Yarn Animals: Amigurumi Friends to Make and Enjoy

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

دانلود کتاب Advances in Environmental Research, Volume 13

دانلود کتاب Non-marine algae of Africa. A bibliography (1799-2010).

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

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

دانلود کتاب Marketing: Real People, Real Choices, 7th Edition

دانلود کتاب The Handbook of Microfinance

دانلود کتاب Resonate: Present Visual Stories that Transform Audiences

دانلود کتاب Business Communication for Success

دانلود کتاب The Economist - 19 May 2001

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

دانلود کتاب Baptism in the Holy Spirit: A Re-Examination of the New Testament Teaching on the Gift of the Holy Spirit in Relation to Pentecostalism Today: A ... Spirit in Relation to Pentecostalism Today

دانلود کتاب Joomla! For Dummies

دانلود کتاب Innovations in Hospice Architecture

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

دانلود کتاب Occupying Architecture

کتاب های حقوق

دانلود کتاب McMafia: a journey through the global criminal underworld

دانلود کتاب The Killer Book of True Crime: Incredible Stories, Facts and Trivia from the World of Murder and Mayhem

دانلود کتاب Forensic Evidence: Science and the Criminal Law

دانلود کتاب Encyclopedia of War Crimes And Genocide (Facts on File Library of World History)

دانلود کتاب Crime And Punishment In England: An Introductory History

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

دانلود کتاب The Vocation Lectures: Science As a Vocation, Politics As a Vocation

دانلود کتاب Culture and Customs of Laos (Culture and Customs of Asia)

دانلود کتاب In His Own Write

دانلود کتاب Human Societies: An Introduction to Macrosociology, Eleventh Edition

دانلود کتاب New Headway upper-Intermediate Tests