Applied Proof Theory: Proof Interpretations and their

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Hardcover: 536 pages

Publisher: Springer (May 26, 2008)

Language: English

ISBN-10: 3540775323