|
|
|
|
| LEADER |
00625 a2200181 4500 |
| 005 |
20151026133052.0 |
| 008 |
120503t xxu||||| |||| 00| 0 eng d |
| 080 |
|
|
|a 510.6
|b KOH
|
| 100 |
|
|
|a Kohlenbach. U.
|9 20137
|
| 245 |
|
|
|a Applied proof theory
|b proof interpretations and their use in mathematics
|
| 300 |
|
|
|a xix, 532p.
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Proof theory
|
| 942 |
|
|
|c BK
|6 _
|
| 260 |
|
|
|a Heidelberg
|b Springer
|c 2008
|9 20138
|
| 020 |
|
|
|a 9783540775324
|
| 999 |
|
|
|c 62558
|d 62558
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 5106_KOH
|7 0
|9 75092
|a UL
|b UL
|c GEN
|d 2012-01-04
|e 89
|g 0.00
|o 510.6 KOH
|p 00066662
|r 2012-01-04
|v 0.00
|w 2012-01-04
|y BK
|