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 The UX Book by
Cover of the book Monitoring and Evaluation of Biomaterials and their Performance In Vivo by
Cover of the book Mitochondrial Genome Evolution by
Cover of the book Fundamentals of Advanced Mathematics 1 by
Cover of the book Dynamic Plasma Membranes: Portals Between Cells and Physiology by
Cover of the book Isotope Labeling of Biomolecules – Labeling Methods by
Cover of the book Advanced Textiles for Wound Care by
Cover of the book Weather Analysis and Forecasting by
Cover of the book Practical Capillary Electrophoresis by
Cover of the book Therapeutic Drug Monitoring by
Cover of the book Advances in Clinical Chemistry by
Cover of the book Encyclopedia of Separation Science by
Cover of the book Novel Anticancer Agents by
Cover of the book Oxygen Transport in Red Blood Cells by
Cover of the book Fruit Juices 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