サノ, カツヒコ
佐野, 勝彦
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | SRC:チューリング / [チューリング著] ; 伊藤和行編 ; 佐野勝彦, 杉本舞訳・解説 (近代科学社, 2014.1) の訳・解説者による 2006年, 京都大学大学院文学研究科現代文化学専攻科学哲学科学史専修博士後期課程研究指導認定退学 2011年, 北陸先端科学技術大学院大学情報科学研究科助教 博士 (文学) |
コード類 | 典拠ID=AU00107138 NCID=DA17979899 |
1 | 数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編 東京 : 共立出版 , 2016.3 |