Overview

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.

Full Product Details

Author:   Dov M. Gabbay (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.) ,  John Woods (University of British Columbia, Vancouver, Canada)
Publisher:   Elsevier Science & Technology
Imprint:   North-Holland
Edition:   5th edition
Volume:   v. 5
Dimensions:   Width: 16.50cm , Height: 4.80cm , Length: 24.00cm
Weight:   2.450kg
ISBN:  

9780444516206

ISBN 10:   0444516204
Pages:   1068
Publication Date:   26 May 2009
Audience:   College/higher education ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Preface List of Contributors 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) Gödel’s Logic (Mark van Atten and Juliette Kennedy) Tarski’s Logic (Keith Simmons) Emil Post (Alasdair Urquhart) Gentzen’s Logic (Jan von Plato) Lambda-calculus and Combinators in the 20th Century (Felice Cardone and J. Roger Hindley) The Logic of Church and Curry (Jonathan P. Seldin) Paradoxes, Self-reference and Truth in the Twentieth Century (Andrea Cantini) Index

Reviews

Author Information

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions