Proof Theory

Dover Publications (Jan 24, 2013)

9780486490731

| Paperback

490 pages

Find sold listings on eBay

CLZ may be compensated
for purchases made

Dewey 511.3/6

LC Classification QA9.54 .T34 2013

LC Control No. 2012030734

Subject

Mathematics / Logic
Proof Theory

Plot

This comprehensive monographis a cornerstone in the area ofmathematical logic and relatedfields. Focusing on Gentzen-typeproof theory, the book presents adetailed overview of creative works by the author and other20th-century logicians that includes applications of prooftheory to logic as well as other areas of mathematics.Reprint of the North Holland, Amsterdam, 1987 edition.

Personal

Location	B4
Index	1872
Added Date	Mar 28, 2015 18:36:13
Modified Date

Value

Purchased	Mar 28, 2015 at Amazon for $ 18.08
Book Condition	Mint

Links

Library of Congress