Definability and decision problems in arithmetic 论文

1949Journal of Symbolic Logic引用 324
DOI
Computability, Logic, AI AlgorithmsMathematical and Theoretical AnalysisNumerical Methods and Algorithms
Computability, Logic, AI AlgorithmsNumerical Methods and AlgorithmsMathematical and Theoretical Analysis
相关技术:Numerical Methods and AlgorithmsComputability, Logic, AI Algorithms
关系图谱

Definability and decision problems in arithmetic · 相关技术

相关技术

Numerical Methods and AlgorithmsComputability, Logic, AI Algorithms