close
1.

図書
図書
1. はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
山田俊行著
出版情報: 東京 : 森北出版, 2018.7
所蔵情報: loading…
2.

図書
図書
2. チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳
出版情報: [東京] : 日経BP社 , 東京 : 日経BPマーケティング (発売), 2012.6
所蔵情報: loading…