 |
|
| LOGIC FROM RUSSELL TO CHURCH, 5
| |
| | |
|
|
To order this title, and for more information, click here
Edited By
Dov M. Gabbay, King's College London, UK
John Woods, University of British Columbia, Vancouver, Canada
Included in series
Handbook of the History of Logic,
Audience
Researchers and graduate students in all areas of logic: Historians of logic, computer scientists, AI theorists, theorists of legal reasoning, cognitive psychologists.
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
| Bibliographic details |
Hardbound, 1068 pages, publication date: MAY-2009
ISBN-13: 978-0-444-51620-6
ISBN-10: 0-444-51620-4
Imprint: NORTH-HOLLAND
|
| Price and Ordering |
Price:
USD 260
GBP 157.99
EUR 185.95
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
050/500
Last update: 25 Nov 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company