Proof Theory

Second Edition

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book Proof Theory by Gaisi Takeuti, Dover Publications
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Gaisi Takeuti ISBN: 9780486320670
Publisher: Dover Publications Publication: October 10, 2013
Imprint: Dover Publications Language: English
Author: Gaisi Takeuti
ISBN: 9780486320670
Publisher: Dover Publications
Publication: October 10, 2013
Imprint: Dover Publications
Language: English

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.

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

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.

More books from Dover Publications

Cover of the book The 100 Greatest Advertisements 1852-1958 by Gaisi Takeuti
Cover of the book The World I Live In and Optimism by Gaisi Takeuti
Cover of the book 100 Small Houses of the Thirties by Gaisi Takeuti
Cover of the book Graph Theory with Applications to Engineering and Computer Science by Gaisi Takeuti
Cover of the book Geometry, Its Elements and Structure by Gaisi Takeuti
Cover of the book Monsieur Lecoq by Gaisi Takeuti
Cover of the book The New York World's Fair, 1939/1940 by Gaisi Takeuti
Cover of the book The Law of Love and The Law of Violence by Gaisi Takeuti
Cover of the book Dynamic Anatomy by Gaisi Takeuti
Cover of the book Victorian Fashion in America by Gaisi Takeuti
Cover of the book The Fitzwilliam Virginal Book, Volume Two by Gaisi Takeuti
Cover of the book Cosi fan Tutte in Full Score by Gaisi Takeuti
Cover of the book Say It in Swedish (Revised) by Gaisi Takeuti
Cover of the book Will Bradley's Graphic Art by Gaisi Takeuti
Cover of the book A Pictorial History of Costume From Ancient Times to the Nineteenth Century by Gaisi Takeuti
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