sinの本棚

バックアップ

      [
{
  "title" : "コンピュータのための数学―論理的アプローチ",
  "isbn" : "4535783012",
  "date" : "2005-05-14T20:48:52.000Z",
  "publisher" : "日本評論社",
  "authors" : "D. グリース, F.B. シュナイダー",
  "categories" : "数学",
  "score" : "★★★",
  "comment" : "きっちりと等式論理の体系を定めて，これを身につけ，かつ，その上で\n離散数学を理解していこうという目標で書かれた教科書．\n"
}
]