コバヤシ サトシ   KOBAYASHI SATOSHI
  小林 聡
   所属   京都産業大学  情報理工学部 情報理工学科
   職種   教授
言語種別 日本語
発行・発表の年月 2007/03
形態種別 単行本(学術書)
標題 岩波数学辞典第4版(共著)
執筆形態 分担執筆
掲載区分国内
出版社・発行元 岩波書店
担当範囲 形式体系と証明, 形式体系の意味論
ISBN 978-4000803090
researchmap用URL https://www.iwanami.co.jp/book/b256653.html