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

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

ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ

レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳

東京 : 白揚社, 1990.11

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.9-Sm8

10005027173

一般図書

2

410.9-Sm8

10091000823

一般図書

3

410.9-Sm8

10006011748

一般図書

詳細情報

刊年

1990

形態

279p ; 22cm

別書名

Forever undecided : a puzzle guide to Gödel

注記

原著(New York : A.Knopf, 1987)の全訳

索引: 巻末

出版国

日本

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

原作言語

英語 (eng)

著者情報

Smullyan, Raymond M., 1919- [ スマリヤン, レイモンド (スマリヤン, レイモンド) ] [ Smullyan, Raymond ] [ Smullyan, R ] [ Smullyan, Raymond Merrill ] [ スマリヤン, レイモンド・M (スマリヤン, レイモンド・M) ]

長尾, 確(1962-) (ナガオ, カタシ)

田中, 朋之(1962-) (タナカ, トモユキ)

分類

NDC8:410.9

NDC8:116.3

NDC8:410.96

NDC7:410.1

NDLC:MA41

件名

数学基礎論

ゲーデルの定理

Gödel, Kurt, 1906-1978

ISBN

4826900449

NCID

BN05489989

番号

NBN : JP91010899

JLA : 90031565