北里大学OPAC

サノ, カツヒコ

佐野, 勝彦

著者の属性	個人
一般注記	SRC:チューリング / [チューリング著] ; 伊藤和行編 ; 佐野勝彦, 杉本舞訳・解説 (近代科学社, 2014.1) の訳・解説者による 2006年, 京都大学大学院文学研究科現代文化学専攻科学哲学科学史専修博士後期課程研究指導認定退学 2011年, 北陸先端科学技術大学院大学情報科学研究科助教博士 (文学)
コード類	典拠ID=AU00107138 NCID=DA17979899


1	数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編東京 : 共立出版 , 2016.3

図書館サービス

利用者サービス