학술논문

COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR
Document Type
Journal
Source
JOURNAL OF SYMBOLIC LOGIC; JUN 13 2022, pPII S0022481222000457 22p.
Subject
Language
English
ISSN
19435886