Axiomatic recursion theory
URI(s)
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
found: Work cat.: 97-33255: Pereti︠a︡tʹkin, M.G. Finitely axiomatizable theories, c1997.
found: Math. subj. classif.(03-XX, Mathematical logic and foundations; 03Dxx, Recursion theory; 03D75, Abstract and axiomatic recursion theory)
notfound: Eisenreich. Mathematik;Encyc. dict. math.;Encyc. math.
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1997-07-18: new
1997-08-29: revised
Alternate Formats
