A logical expansion in mathematics 论文

1932Bulletin of the American Mathematical Society引用 387
Computability, Logic, AI AlgorithmsMathematical and Theoretical AnalysisHistory and Theory of Mathematics