Proof Theory

by Gaisi Takeuti

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0486490734
• ISBN13: 9780486490731
• Release Date: February 2013
• Publisher: Dover Publications
• Length: 512 Pages
• Weight: 0.85 lbs.
• Dimensions: 1.1" x 5.9" x 8.9"