Proof TheoryeBook - 2013
"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"-- Provided by publisher.
Publisher: Mineola, New York : Dover Publications, 2013
Edition: Second edition
Branch Call Number: 511.3 Ta
Description: 1 online resource (x, 490 pages)