北里大学OPAC

クラハシ, タイシ

倉橋, 太志

著者の属性	個人
一般注記	「数学における証明と真理 : 様相論理と数学基礎論」 (共立出版, 2016) の著者紹介による神戸大学工学部情報知能工学科卒業(2009年) 博士(学術)(神戸大学) 木更津工業高等専門学校基礎学系講師専門: 数学基礎論 EDSRC:数学における証明と真理 : 様相論理と数学基礎論 / 佐野勝彦 [ほか] 著 ; 菊池誠編(共立出版, 2016.3)
コード類	典拠ID=AU00107139 NCID=DA18440841


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

図書館サービス

利用者サービス