LDR | |
00757nam a2200253 a 4500 |
001 |
|
002370701 |
003 |
|
MiAaHDL |
005 |
|
20210817000000.0 |
006 |
|
m d |
007 |
|
cr bn ---auaua |
008 |
|
910304s1990 wb b 00110 eng |
010 |
⊔ |
⊔ |
‡a88035937
|
020 |
⊔ |
⊔ |
‡a0387193057
‡q(U.S.)
|
035 |
⊔ |
⊔ |
‡a(MiU)990023707010106381
|
035 |
⊔ |
⊔ |
‡asdr-miu.990023707010106381
|
035 |
⊔ |
⊔ |
‡a(OCoLC)19130395
|
035 |
⊔ |
⊔ |
‡z(MiU)Aleph002370701
|
040 |
⊔ |
⊔ |
‡aDLC
‡cDLC
‡dEYM
|
050 |
0 |
0 |
‡aQA9.6
‡b.S23 1990
|
082 |
0 |
0 |
‡a511.3
‡219
|
100 |
1 |
⊔ |
‡aSacks, Gerald E.
|
245 |
1 |
0 |
‡aHigher recursion theory /
‡cGerald E. Sacks.
|
260 |
⊔ |
⊔ |
‡aBerlin ;
‡aNew York :
‡bSpringer-Verlag,
‡cc1990.
|
300 |
⊔ |
⊔ |
‡axv, 341 p. ;
‡c25 cm.
|
490 |
0 |
⊔ |
‡aPerspectives in mathematical logic
|
500 |
⊔ |
⊔ |
‡aIncludes index.
|
504 |
⊔ |
⊔ |
‡aBibliography: p. [339]-341.
|
538 |
⊔ |
⊔ |
‡aMode of access: Internet.
|
650 |
⊔ |
0 |
‡aRecursion theory.
|
CID |
⊔ |
⊔ |
‡a002370701
|
DAT |
0 |
⊔ |
‡a19910304000000.0
‡b20210817000000.0
|
DAT |
1 |
⊔ |
‡a20210918060716.0
‡b2023-11-08T18:40:49Z
|
CAT |
⊔ |
⊔ |
‡aSDR-MIU
‡dALMA
‡lprepare.pl-004-008
|
FMT |
⊔ |
⊔ |
‡aBK
|
HOL |
⊔ |
⊔ |
‡0sdr-miu.990023707010106381
‡aMiU
‡bSDR
‡cMIU
‡pmdp.39015019558645
‡sMIU
‡1990023707010106381
|
974 |
⊔ |
⊔ |
‡bMIU
‡cMIU
‡d20231108
‡sgoogle
‡umdp.39015019558645
‡y1990
‡ric
‡qbib
‡tnon-US bib date1 >= 1929
|