このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Selected papers in proof theory

責任表示 Grigorii E. Mints
シリーズ Studies in proof theory ; monographs 3
データ種別 図書
出版者 Napoli : Bibliopolis
出版者 Amsterdam ; New York : North-Holland
出版年 c1992
本文言語 英語
大きさ 294 p. : ill. ; 25 cm

所蔵情報


伊都図(中央) BF 開架 068582193008493 410.1/Mi 47/1 1992

書誌詳細

一般注記 Includes bibliographical references
著者標目 *Mint︠s︡, Grigori
件 名 LCSH:Proof theory
分 類 LCC:QA9.54
DC20:511.3
書誌ID 1000002253
ISBN 8870882284
NCID BA19098343
巻冊次 ISBN:8870882284
登録日 1994.08.03
更新日 1996.03.07

類似資料