Logic From Russell to Church - Logic from Russel to Godel

Covers the first fifty years of the development of mathematical logic in the 20th century. This title focuses on the achievements of the great names of the period; Russell, Post, Godel, Tarski, Church, and the like. It is suitable for senior undergraduates, graduate students and researchers in the history of logic and various other disciplines.

Sommario

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

Dettagli sul prodotto

• Autori: Dov M. (Augustus De Morgan Professor Emeri Gabbay, Dov M. (King''s College London) Woods Gabbay, Dov M. (King''''s College London) Woods Gabbay, Dov M. Woods Gabbay, GABBAY DOV M KING S COLLEGE
• Con la collaborazione di: Dov M. Gabbay (Editore), Dov M. Gabbay (Editore), Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic Gabbay (Editore), Dov M. (King's College London Gabbay (Editore), John Woods (Editore), John (University of British Columbia Woods (Editore), Woods John (Editore)
• Editore: ELSEVIER SCIENCE BV
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 26.05.2009
• EAN: 9780444516206
• ISBN: 978-0-444-51620-6
• Pagine: 1068
• Serie: Handbook of the History of Logic; Handbook of the History of Log; Handbook of the History of Logic
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti; Scienze umane, arte, musica > Filosofia > Tematiche generali, enciclopedie; MATHEMATICS / Logic, Mathematical logic