<p>This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.</p>

Proof Theory

Science & Math

G. Takeuti

Mathematics

Elsevier Science

Introduction To Axiomatic Set Theory

W.M. Zaring

Springer Science+Business Media

See the best price to sell, buy, or rent books by G. Takeuti. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by G. Takeuti