Logic from Russell to Church: Volume 5 (Handbook of the History of Logic, Volume 5) - Hardcover

Hardcover

ISBN 10: 0444516204 ISBN 13: 9780444516206

Verlag: North Holland, 2009

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

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.

Details zur Ausgabe

• Verlag: North Holland
• Erscheinungsdatum: 2009
• Sprache: Englisch
• ISBN 10: 0444516204
• ISBN 13: 9780444516206
• Einband: Tapa dura
• Anzahl der Seiten: 1070
• Herausgeber: Gabbay Dov M., Woods John
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar