Logic from Russell to Church ( Volume 5 )

Publication series :Volume 5

Author: Gabbay   Dov M.;Woods   John  

Publisher: Elsevier Science‎

Publication year: 2009

E-ISBN: 9780080885476

P-ISBN(Paperback): 9780444516206

P-ISBN(Hardback):  9780444516206

Subject: O1-0 mathematical theory

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th 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, and 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

Chapter

Front Cover

pp.:  1 – 4

Logic from Russell to Church

pp.:  4 – 6

Contents

pp.:  6 – 8

Preface

pp.:  8 – 12

List of Contributors

pp.:  12 – 14

Chapter 3. The Logic of Brouwer and Heyting

pp.:  90 – 140

Chapter 4. Thoralf Albert Skolem

pp.:  140 – 208

Chapter 5. Jacques Herbrand: Life, Logic, and Automated Deduction

pp.:  208 – 268

Chapter 6. The Logic of the Tractatus

pp.:  268 – 318

Chapter 7. Leśniewski’s Logic

pp.:  318 – 334

Chapter 8. Hilbert's Proof Theory

pp.:  334 – 398

Chapter 9. Hilbert's Epsilon Calculus and its Successors

pp.:  398 – 462

Chapter 10. Gödel's Logic

pp.:  462 – 524

Chapter 11. Tarski's Logic

pp.:  524 – 630

Chapter 12. Emil Post

pp.:  630 – 680

Chapter 13. Gentzen's Logic

pp.:  680 – 736

Chapter 14. Lambda-calculus and Combinators in the 20th Century

pp.:  736 – 832

Chapter 15. The Logic of Church and Curry

pp.:  832 – 888

Chapter 16. Paradoxes, Self-reference and Truth in the 20th Century

pp.:  888 – 1028

Index

pp.:  1028 – 1070

The users who browse this book also browse