|
|
|
|
| LEADER |
00000nam a2200000Ia 4500 |
| 008 |
200518s9999||||xx |||||||||||||| ||und|| |
| 016 |
3 |
9 |
|
| 020 |
|
|
|a 3-540-76121-7
|
| 084 |
|
|
|a 22.19
|b Н 73
|2 NNA
|
| 100 |
|
|
|a Hofmann M.
|
| 110 |
|
|
|a Tevens verschenen als proefschrift LFCS Edinburgh.
|
| 245 |
|
0 |
|a Extensional constructs in intensional type theory
|
| 260 |
|
|
|c 1997
|a N.Y
|b Springer
|
| 300 |
|
|
|a 215
|
| 546 |
|
|
|a Англи
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|2 NNA
|4 0
|6 155782
|7 0
|9 430536
|a URNU
|b URNU
|c 2
|d 2021-07-29
|e Khudaldaa
|g 6600.00
|l 0
|o 155782
|p 005020155782
|r 2021-07-29
|w 2020-05-18
|y BK
|
| 999 |
|
|
|c 256974
|d 257031
|
