Record ID | marc_loc_updates/v40.i02.records.utf8:7899440:768 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_updates/v40.i02.records.utf8:7899440:768?format=raw |
LEADER: 00768cam a2200241 a 4500
001 81474316
003 DLC
005 20120103073724.0
008 820414s1980 ru b 001 0 ruso
010 $a 81474316
015 $aUSSR80
020 $c3.10rub
040 $aDLC$cDLC$dDLC
050 00 $aQA9.6$b.E77
100 1 $aErshov, I︠U︡riĭ Leonidovich.
245 10 $aProblemy razreshimosti i konstruktivnye modeli /$cI︠U︡.L. Ershov.
260 $aMoskva :$b"Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry,$c1980.
300 $a415 p. ;$c20 cm.
440 0 $aMatematicheskai︠a︡ logika i osnovanii︠a︡ matematiki
504 $aBibliography: p. 397-[409]
500 $aIncludes indexes.
650 0 $aRecursion theory.
650 0 $aConstructive mathematics.