Normal view
MARC view
Entry Topical Term
000 - LEADER
- fixed length control field: 00806nz 2200193n 4500
000 - LEADER
- fixed length control field: 1
001 - CONTROL NUMBER
- control field: 31874
003 - CONTROL NUMBER IDENTIFIER
- control field: P5A
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20221101114414.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 940830|| anannbab| |a ana |||||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh 94006269
035 ## - SYSTEM CONTROL NUMBER
- System control number: oca03696391
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Recursively enumerable sets.
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: 94-35340: Cholak, P. Automorphisms of the lattice of recursively enumerable sets, 1995.
670 ## - SOURCE DATA FOUND
- Source citation: Math. subj. classif.
- Information found: (03-XX, Mathematical logic and foundations; 03Dxx, Recursion theory; 03D25, Recursively enumerable sets and degrees)
670 ## - SOURCE DATA FOUND
- Source citation: Eisenreich. Mathematik
- Information found: (Recursively enumerable set)
670 ## - SOURCE DATA FOUND
- Source citation: Encyc. dict. math.:
- Information found: p. 1323 (Recursively enumerable set)
950 ## -
- : g
- : Recursion theory