Logic from Russell to Church
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 l...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam
North Holland
c2009, 2009
|
| Series: | Handbook of the History of Logic
|
| Subjects: | |
| Online Access: | |
| Collection: | Elsevier ScienceDirect eBooks - Collection details see MPG.ReNa |
| Summary: | 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 |
|---|---|
| Physical Description: | online resource (xii, 1056 p.) |
| ISBN: | 0080885470 9780080885476 9780444516206 0444516204 |