|
|
|
|
| LEADER |
00719cam a2200217ua 4500 |
| 008 |
130712t2008||||||||||| 00 ||eng c |
| 020 |
|
|
|a 978-3-540-77532-4
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 511.36
|b KOH/A
|
| 245 |
1 |
2 |
|a Applied Proof Theory: Proof Interpretations and their use in Mathematics /
|
| 250 |
|
|
|a 1
|
| 260 |
|
|
|a Berlin:
|b Springer,
|c 2008.
|
| 300 |
|
|
|a 534.
|
| 362 |
1 |
|
|a 2008.
|
| 440 |
|
0 |
|a Springer Monographs in Mathematics
|
| 490 |
0 |
|
|a Springer Monographs in Mathematics
|
| 650 |
0 |
|
|a Mathematics- Proof theory
|
| 700 |
0 |
2 |
|a Kohlenbach,, Ulrich
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 29263
|d 29263
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_360000000000000_KOH
|7 0
|9 31066
|a KUCL
|b KUCL
|d 2014-05-23
|l 0
|o 511.36 KOH/
|p 30666
|r 2014-05-23
|w 2014-05-23
|y BK
|