Proof Theory

Proof Theory

eBook - 2013
Rate this:
"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"--
Publisher: Mineola, New York :, Dover Publications,, 2013
Edition: Second edition
ISBN: 9780486320670
0486320677
0486490734
9780486490731
Characteristics: 1 online resource (x, 490 pages)

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age

Add Age Suitability

There are no ages for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Subject Headings

  Loading...

Find it at TCCL

  Loading...
[]
[]
To Top