龍谷大学図書館

Solvability, provability, definability : the collected works of Emil L. Post

Martin Davis, editor ; : us, : sz. -- Birkhäuser, 1994. -- (Contemporary mathematicians). <BB20257648>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 配置場所 請求記号 資料ID コメント 状態 禁帯出区分 予約 Web書棚
0001 瀬田.自動化書庫 510/POS 39400032516 一般 0件
巻号
所蔵館 瀬田
配置場所 瀬田.自動化書庫
請求記号 510/POS
資料ID 39400032516
コメント
状態
禁帯出区分 一般
返却予定日
予約 0件
Web書棚

書誌詳細

標題および責任表示 Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis, editor
出版・頒布事項 Boston : Birkhäuser , 1994
形態事項 xxviii, 554 p. : ill. ; 26 cm
巻号情報
巻次等 : us
ISBN 0817635793
巻号情報
巻次等 : sz
ISBN 3764335793
書誌構造リンク Contemporary mathematicians <BB10000576>//a
 >>シリーズで再検索する
注記 Includes bibliographical references
NCID BA2153578X
本文言語コード 英語
著者標目リンク *Post, Emil Leon, 1897-1954 <AU00107590>
著者標目リンク Davis, Martin, 1928- <AU00063036>
分類標目 LCC:QA3
分類標目 DC20:510
件名標目等 Post, Emil Leon, 1897-1954
件名標目等 Logic, Symbolic and mathematical