Ebook: Applied Proof Theory: Proof Interpretations and their Use in Mathematics: Kohlenbach
Author: Kohlenbach Ulrich
- Tags: Mathematics, Approximation theory, Automatic theorem proving, Nonlinear operators, Proof theory
- Series: Springer monographs in mathematics
- Year: 2008
- Publisher: Springer
- City: Berlin
- Language: English
- pdf
Download the book Applied Proof Theory: Proof Interpretations and their Use in Mathematics: Kohlenbach for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)