検索語 "長尾, 確, 1962-" による 📖🦍Gorilla Eagle Library🦅 の資料の検索結果
type: channel
link: https://eagle.gorilla-zone.org/manifestations
description: Next-L Enju, an open source integrated library system developed by Project Next-L
language: ja
ttl: 60
items: スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
items: スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

スマリヤンの究極の論理パズル : 数の不思議からゲーデルの定理へ
type: item
description: 白揚社; 2008

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
type: item
description: 白揚社; 2008