We are currently upgrading our print fulfillment systems. Print book orders placed between Sept 22 and Oct 9 will be delayed. Delivery of these orders will start on Oct 10, with purchases being fulfilled in the order received. Buy the Print and get eBook immediately for FREE. Use Code BOGO. Or save up to 40% on all orders with code: DELTA. Exclusions apply. Click here for terms and conditions.
 
 

Logic from Russell to Church, 1st Edition

 
Logic from Russell to Church, 1st Edition,Dov M. Gabbay,John Woods,ISBN9780444516206
 
 
 

Gabbay   &   Woods   

North Holland

9780444516206

9780080885476

1068

Print Book + eBook

USD 342.00
USD 570.00

Buy both together and save 40%

Print Book

Hardcover

In Stock

Estimated Delivery Time
USD 295.00

eBook
eBook Overview

VST format:

DRM Free included formats: PDF

USD 275.00
Add to Cart
 
 

Key Features

• 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

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.

Readership

Researchers and graduate students in all areas of logic: Historians of logic, computer scientists, AI theorists, theorists of legal reasoning, cognitive psychologists.

Dov M. Gabbay

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.

Affiliations and Expertise

King's College London, UK

View additional works by Dov M. Gabbay

John Woods

Affiliations and Expertise

University of British Columbia, Vancouver, Canada

View additional works by John Woods

Logic from Russell to Church, 1st Edition

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
 
 
Shop with Confidence

Free Shipping around the world
▪ Broad range of products
▪ 30 days return policy
FAQ