紀要論文 中間述語論理におけるExistence Propertyに関する注意 (証明論・計算論とその周辺)

鈴木, 信行

1950pp.40 - 51 , 2015-06 , 京都大学数理解析研究所
ISSN:1880-2818
NII書誌ID(NCID):AN00061013
本文を読む

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/223937/1/1950-05.pdf

このアイテムのアクセス数:  回

その他の情報