Загрузка...
Computations in higher types
| Главный автор: | |
|---|---|
| Формат: | Printed Book |
| Опубликовано: |
Springer-Verlag, Berlin
1977
|
| Серии: | Lecture Notes in Mathematics, No.0574
|
| Предметы: |
| LEADER | 00515nam a2200169 4500 | ||
|---|---|---|---|
| 082 | |a R LNM.0574 | ||
| 100 | |a Moldestad, Johan | ||
| 245 | |a Computations in higher types |c Johan Moldestad | ||
| 250 | |||
| 260 | |a Springer-Verlag, Berlin |c 1977 | ||
| 300 | |||
| 490 | |a Lecture Notes in Mathematics, No.0574 | ||
| 650 | |a Lecture Notes in Mathematics | ||
| 700 | |||
| 942 | |c BK | ||
| 999 | |c 201475 |d 201475 | ||
| 952 | |0 0 |1 0 |4 0 |6 R_LNM_0574_000000000000000 |7 0 |9 214824 |a MAT |b MAT |l 0 |o R LNM.0574 |p MAT2539 |r 2019-11-01 |w 2019-11-01 |y BK | ||