yr 〜
yr

Search results 2

数学における証明と真理 : 様相論理と数学基礎論

数学における証明と真理 : 様相論理と数学基礎論
Paper図書
菊池誠 編, 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著共立出版2016.3<MA21-L319>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)001186514 001161420 001232624 001232626

コンピュータ理論の起源 第1巻

コンピュータ理論の起源 第1巻
PaperDigital図書
伊藤和行 編, 佐野勝彦, 杉本舞 訳・解説近代科学社2014.1<M154-L74>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00193301 001161420 001161423 00621580

Reached to the end of result.