![]() |
Note on total and partial functions in second-order arithmetic (Proof Theory, Computation Theory and Related Topics) |
http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/223934/1/1950-08.pdf
このアイテムのアクセス数: 回