Logic from Russell to Church

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book Logic from Russell to Church by , Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9780080885476
Publisher: Elsevier Science Publication: June 16, 2009
Imprint: North Holland Language: English
Author:
ISBN: 9780080885476
Publisher: Elsevier Science
Publication: June 16, 2009
Imprint: North Holland
Language: English

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.

• 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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

• 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

More books from Elsevier Science

Cover of the book Mathematical Inequalities by
Cover of the book Novel Carbon Adsorbents by
Cover of the book Technologies for Biochemical Conversion of Biomass by
Cover of the book Windows 2012 Server Network Security by
Cover of the book Winemaking Problems Solved by
Cover of the book Advances in Agronomy by
Cover of the book RF and mm-Wave Power Generation in Silicon by
Cover of the book Extrusion Problems Solved by
Cover of the book Rehabilitation of Pipelines Using Fiber-reinforced Polymer (FRP) Composites by
Cover of the book Advances in Genetics by
Cover of the book Biosecurity and Bioterrorism by
Cover of the book Using Cereal Science and Technology for the Benefit of Consumers by
Cover of the book Strategy and Statistics in Clinical Trials by
Cover of the book NMR Quantum Information Processing by
Cover of the book Solid Waste: Assessment, Monitoring and Remediation by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy