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 Lignocellulosic Fibre and Biomass-Based Composite Materials by
Cover of the book 5G Physical Layer by
Cover of the book Advances in Laser Materials Processing by
Cover of the book Biomass Combustion Science, Technology and Engineering by
Cover of the book Autophagy in Mammalian Systems, Part B by
Cover of the book Fluid Mechanics by
Cover of the book Host Response to Biomaterials by
Cover of the book Receptors in the Human Nervous System by
Cover of the book Learning from the Impacts of Superstorm Sandy by
Cover of the book Security Risk Management by
Cover of the book Advances in Thermal Energy Storage Systems by
Cover of the book Dark Silicon and Future On-chip Systems by
Cover of the book The Physiology of Insecta by
Cover of the book Metal Forming Science and Practice by
Cover of the book SOA and Web Services Interface Design 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