Algebra and Logic · 1974 · 79 citations · 1 references
ComputingComputer ScienceMathematicsData StructuresFormal MethodsSet TheoryAxiomatic Set TheoryChurch-turing ThesisComputability TheoryRecursion TheoryStructural ComplexityType SystemsComputable ReducibilityComputable Structure TheoryConstructabilityConstructible SetsRelative Computability
1
A. I. Malʹt︠s︡ev · Russian Mathematical Surveys · 1961 · 213 citations