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 Oracle 10g Data Warehousing by
Cover of the book Human Toxicology of Chemical Mixtures by
Cover of the book Embedded System Interfacing by
Cover of the book Cyber Attacks by
Cover of the book Twelve Little Housemates by
Cover of the book Advances in Computers by
Cover of the book Metallurgy of Welding by
Cover of the book Powering Biomedical Devices by
Cover of the book Job Hazard Analysis by
Cover of the book Stereoregular Polymers and Stereospecific Polymerizations by
Cover of the book Process Plant Layout by
Cover of the book Handbook of Differential Equations: Evolutionary Equations by
Cover of the book Content Strategy at Work by
Cover of the book Adolescent Dating Violence by
Cover of the book Defects in Semiconductors 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