Proof Theory/ 2Nd Edn
Proof Theory/ 2Nd Edn is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Proof Theory/ 2Nd Edn
Book Details
-
Author: Gaisi Takeuti
-
Publisher: Dover
-
Edition: Second
-
Binding: Paperback
-
Number of Pages: 512
-
Release Date: 24-01-2013
-
EAN: 9780486490731
-
Package Dimensions: 9.0 x 5.9 x 1.1 inches
-
Languages: English
Details:
This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book provides a detailed overview of the creative works by the author and other 20th-century logicians. It explores applications of proof theory to logic as well as other areas of mathematics, reflecting advancements from the 1975 edition. The second edition is an essential resource for anyone working in mathematical logic and its applications.
