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 Hip Disorders in Children by
Cover of the book Interfacial and Confined Water by
Cover of the book Methods in Tau Cell Biology by
Cover of the book Neuropeptide Analogs, Conjugates, and Fragments by
Cover of the book The UX Book by
Cover of the book Acrylamide in Food by
Cover of the book An Applied Guide to Process and Plant Design by
Cover of the book Hormonal Steroids by
Cover of the book Economic Evaluation of Pharmacy Services by
Cover of the book Mechanics of Fluid-Saturated Rocks by
Cover of the book Structural Geology by
Cover of the book Advances in Applied Microbiology by
Cover of the book Handbook of Vertebrate Immunology by
Cover of the book Transgenic Animal Technology by
Cover of the book E-books in Academic Libraries 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