|
|
|
|
| LEADER |
00809cam a22002174a 4500 |
| 999 |
|
|
|c 215176
|d 215176
|
| 020 |
|
|
|a 9783540775324 (alk. paper)
|
| 020 |
|
|
|a 9783540775331 (eISBN)
|
| 082 |
0 |
0 |
|a 511.3
|b KOH
|
| 100 |
1 |
|
|a Kohlenbach, U.
|
| 245 |
1 |
0 |
|a Applied proof theory :
|b proof interpretations and their use in mathematics /
|c U. Kohlenbach.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2008.
|
| 300 |
|
|
|a xix, 532 p. ;
|
| 490 |
0 |
|
|a Springer monographs in mathematics,
|
| 504 |
|
|
|a Includes bibliographical references (p. [507]-523) and index.
|
| 650 |
|
0 |
|a Proof theory.
|
| 650 |
|
0 |
|a Approximation theory.
|
| 650 |
|
0 |
|a Nonlinear operators.
|
| 650 |
|
0 |
|a Automatic theorem proving.
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_300000000000000_KOH
|7 0
|9 229032
|a DFS
|b DFS
|d 2019-12-05
|l 0
|o 511.3 KOH
|p DFS3899
|r 2019-12-05
|w 2019-12-05
|y BK
|