Berechenbare Reelle Funktionen
暂无分享，去创建一个
[1] A. Mostowski. On computable sequences , 1957 .
[2] A. Grzegorczyk. On the definitions of computable real continuous functions , 1957 .
[3] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
暂无分享，去创建一个
[1] A. Mostowski. On computable sequences , 1957 .
[2] A. Grzegorczyk. On the definitions of computable real continuous functions , 1957 .
[3] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .