このページのリンク

Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley
(Grundlehren der mathematischen Wissenschaften ; Bd. 225)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 1977
本文言語 英語
大きさ xii, 302 p. ; 25 cm

所蔵情報を非表示

書庫2階 QA:9.54:S3813:1977

820564087

書誌詳細を非表示

別書名 原タイトル:Beweistheorie
一般注記 Bibliography: p. [293]-296
Includes index
著者標目 *Schütte, K. (Kurt)
件 名 LCSH:Proof theory
分 類 LCC:QA9.54
DC:511/.3
巻冊次 : us ; ISBN:0387079114 REFWLINK
: gw ; ISBN:3540079114 REFWLINK
ISBN 0387079114
NCID BA01358976 WCLINK
目次/あらすじ

 類似資料