| Record ID | marc_columbia/Columbia-extract-20221130-005.mrc:212935109:1073 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-005.mrc:212935109:1073?format=raw |
LEADER: 01073mam a2200301 i 4500
001 2156978
005 20220615215829.0
008 770210s1977 gw b 001 0 eng
010 $a 77001375
020 $a0387081321
035 $a(OCoLC)ocm02798768
035 $9ANM2536CU
035 $a2156978
040 $aDLC$cDLC
050 00 $aQA3$b.L28 no. 574$aQA9.615
082 00 $a510/.8 s$a511/.3
100 1 $aMoldestad, Johan,$d1946-$0http://id.loc.gov/authorities/names/no2005001145
245 10 $aComputations in higher types /$cJohan Moldestad.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1977.
300 $a203 pages ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in mathematics ;$v574
504 $aBibliography: p. [195]-196.
500 $aIncludes index.
650 0 $aRecursive functions.$0http://id.loc.gov/authorities/subjects/sh85112014
830 0 $aLecture notes in mathematics (Springer-Verlag) ;$v574.$0http://id.loc.gov/authorities/names/n42015165
852 00 $bmat$hQA3$i.L49 v.574