東京都立大学図書館

Proof analysis : a contribution to Hilbert's last problem

Sara Negri, Jan von Plato ; : hardback. -- Cambridge University Press, 2011. <BB02129660>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 : hardback 人文社会 人社:哲学 10002277250 /410.1/N62p 学部管理 0件
No. 0001
巻号 : hardback
所蔵館 人文社会
配置場所 人社:哲学
資料ID 10002277250
請求記号 /410.1/N62p
状態 学部管理
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato
出版・頒布事項 Cambridge : Cambridge University Press , 2011
形態事項 xi, 265 p. ; 26 cm
巻号情報
巻次等 : hardback
ISBN 9781107008953
注記 Includes bibliographical references (p. 254-261) and index
学情ID BB07036572
本文言語コード 英語
著者標目リンク Negri, Sara, <>
著者標目リンク Von Plato, Jan <AU00715620>
分類標目 LCC:QA9.54
分類標目 DC:511.3/6
件名標目等 Proof theory
件名標目等 MATHEMATICS / Logic. bisacsh