|
|
|
|
| LEADER |
00813 a2200193 4500 |
| 008 |
140917b xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9783540775324
|
| 082 |
|
|
|a 511.36
|
| 100 |
|
|
|a Kohlenbach,Ulrich
|
| 245 |
|
|
|a Applied proof theory:
|b Proof interpretations and their use in mathematics/
|c Ulrich Kohlenbach.
|
| 260 |
|
|
|c 2008.
|b Springer,
|a Germany:
|
| 300 |
|
|
|a xix,532p.:
|c 24cm.
|
| 490 |
|
|
|a Springer monographs in mathematics.
|
| 650 |
|
|
|a Mathematics.
|
| 650 |
|
|
|a Proof theory.
|
| 942 |
|
|
|2 ddc
|c TXT
|
| 999 |
|
|
|c 104424
|d 104424
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 511_360000000000000_KOH_A
|7 0
|9 106224
|a UL
|b UL
|c REF
|d 2014-02-06
|e 2
|g 4108.24
|l 0
|o 511.36 KOH/A
|p 91717
|r 2014-08-10
|v 5627.73
|y TXT
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_360000000000000
|7 0
|9 381565
|a MAT
|b MAT
|c ST1
|d 2019-04-09
|i 7234
|l 0
|o 511.36
|p MAT7234
|r 2019-04-09
|w 2019-04-09
|y TXT
|