Extra Materials Archive

Book cover

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

© 2008

Hard cover - Print (ISBN: 978-3-540-77532-4)

Soft cover - Print (ISBN: 978-3-642-09627-3)

Electronic (ISBN: 978-3-540-77533-1)

View this book on SpringerLink