yr 〜
yr

Search results 2

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Paper図書
レイモンド・スマリヤン 著, 田中朋之, 長尾確 訳白揚社2008.5<MA41-J8>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00204921 00203760

決定不能の論理パズル : ゲーデルの定理と様相論理

決定不能の論理パズル : ゲーデルの定理と様相論理
PaperDigital図書
レイモンド・スマリヤン 著, 長尾確, 田中朋之 訳白揚社1990.11<MA41-E45>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00457034 00203760 00204921

Reached to the end of result.