このページのリンク

Proof theory / Gaisi Takeuti

データ種別 図書
2nd ed
出版年 2013
出版者 New York : Dover Publications
大きさ x, 490 p. ; 23 cm

所蔵情報を非表示

白 6F閲覧室
511.3:T13 0106946148
9780486490731

書誌詳細を非表示

一般注記 Includes bibliographies and index
"This dover edition, first publicationed in 2013, is an unabridged republication of the work originally published in 1987 by North-Holland, Amsterdam, as volume 81 in the series studies in logic and the foundations of mathematics. the first edition was published in 1975"--T.p. verso
著者標目  *竹内, 外史(1926-) <タケウチ, ガイシ>
件 名 LCSH:Proof theory
分 類 LCC:QA9.54
DC19:511.3
本文言語 英語
書誌ID BK00284048
NCID BB12021927
目次/あらすじ

 類似資料