| 000 | 00757cam a2200241 i 4500 | ||
|---|---|---|---|
| 001 | 000543921 | ||
| 003 | AM-YeHGA | ||
| 005 | 20210831152445.0 | ||
| 008 | 770210s1977 gw b 001 0 eng d | ||
| 020 | _a0387081321 | ||
| 040 | _aAM-YeHGA | ||
| 041 | 0 | _aeng | |
| 082 | 0 | 0 |
_a510/.8 s _a511/.3 |
| 100 | 1 |
_aMoldestad, Johan, _d1946- |
|
| 245 | 1 | 0 |
_aComputations in higher types / _cJohan Moldestad. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _c1977. |
||
| 300 |
_a203 p. ; _c25 cm. |
||
| 490 | 1 |
_aLecture notes in mathematics / Ed. by A. Dold, B. Eckmann _v574 |
|
| 500 | _aIncludes index. | ||
| 500 | _aBibliogr.: p. [195]-196. | ||
| 650 | 0 | _aRecursive functions | |
| 830 | 0 |
_aLecture notes in mathematics (Springer-Verlag) ; _v574. |
|
| 999 |
_c206434 _d206434 |
||