Formalization of properties of recursively defined functions · 1.Church, A. Introduction to Mathematical Logic. · 2.Cooper, D. C. The equivalence of certain ...
確定! 回上一頁