Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • My Library
    • Bookmark
    • My Search
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

Senshu University Library

Back to previous

スマリヤン不完全性定理

Raymond Smullyan[著] ; 川辺治之, 村上祐子訳. -- 改訳版. -- 丸善出版, 2019. <BB01191342>
Tag:
No tag is registered
Functions:
Review Details
URL:

スマリヤン不完全性定理

Raymond Smullyan[著] ; 川辺治之, 村上祐子訳. -- 改訳版. -- 丸善出版, 2019. <BB01191342>
Tag:
No tag is registered
Functions:
Review Details
URL:

HoldingsList 1-1 of about 1

No. Library Location Collection Call No Volumes YM of Serial Material ID Status Due Date Reservation
0001 Main 4F第2開架閲覧室 K/410/Sm8 111087540 配架済 0items
No. 0001
Library Main
Location 4F第2開架閲覧室
Collection
Call No K/410/Sm8
Volumes
YM of Serial
Material ID 111087540
Status 配架済
Due Date
Reservation 0items
Go to the top of this page

Bibliography Details

title and statement of responsibility area スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳
スマリヤン フカンゼンセイ テイリ
edition area 改訳版
publication,distribution,etc.,area 東京 : 丸善出版 , 2019.12
physical description area ix, 178p ; 21cm
Volume Information
ISBN 9784621304785
variant titles 異なりアクセスタイトル:不完全性定理 : スマリヤン
フカンゼンセイ テイリ : スマリヤン
variant titles 原タイトル:Gödel's incompleteness theorems
note 「Gödel's incompleteness theorems / Raymond Smullyan」(Oxford unversity press, 1992) の改訳版
note 初版のタイトル等: ゲーデルの不完全性定理 (丸善 1996年刊)
note 監訳: 高橋昌一郎
note 参考文献: p[169]-170
NCID BB29564246
text language code Japanese
author link Smullyan, Raymond M., 1919- <AU00233245>
author link 高橋, 昌一郎 (1959-)||タカハシ, ショウイチロウ <AU00230875>
author link 川辺, 治之||カワベ, ハルユキ <AU00240668>
author link 村上, 祐子(1968-)||ムラカミ, ユウコ <AU00081758>
classification Mathematics NDC8:410.9
classification Mathematics NDC9:410.9
classification Mathematics NDC10:410.9
subject headings 不完全性定理||フカンゼンセイテイリ
subject headings ゲーデルの定理||ゲーデルノテイリ
Go to the top of this page
Back to previous
Go to the top of this page

  • Related Information

    Related Items

    Other Universities (NII)

    Get it from another library

    • ILL Copy Request(get a copy from another library)

    QR code