Screen LibraryLogic 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, Go del, Tarski, Church, and the l...
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
North Holland,
|
| Publisher Address: | Amsterdam : |
| Publication Dates: | 2009. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Handbook of the History of Logic ;
5 |
| Subjects: | |
| Online Access: |
http://www.sciencedirect.com/science/handbooks/18745857/5 |
| 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, Go 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 fiel |
| Carrier Form: | 1 online resource (xii, 1056 pages). |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9780444516206 0444516204 9780080885476 0080885470 |
| Index Number: | BC15 |
| CLC: | B81-09 |
| Contents: | Russell's Logic / (Andrew D. Irvine) -- Logic for Meinongian Object Theory Semantics / (Dale Jacquette) -- The Logic of Brouwer and Heyting / (Joan Rand Moschovakis) -- Thoralf Albert Skolem / (Jens Erik Fenstad and Hao Wang) -- The Logic of the Tractatus / (Michael Potter) -- Lesniewski's Logic / (Peter Simons) -- Hibert's Proof Theory / (Wilfried Sieg) -- Hilbert's Epsilon Calculus and its Successors / (Hartly Slater) -- Go del's Logic / (Mark van Atten and Juliette Kennedy) -- Tarski's Logic / (Keith Simmons) -- Emil Post / (Alasdair Urquhart) -- Gentzen's Logic / (Jan von Plato) -- Lambd |