検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley T2 Grundlehren der mathematischen Wissenschaften OT Beweistheorie A1 Schütte, K. (Kurt) YR 1977 FD 1977 VO : us VO : gw SP xii, 302 p. K1 Proof theory PB Springer-Verlag PP Berlin ; New York SN 0387079114 SN 3540079114 LA English (英語) CL LCC:QA9.54 CL DC:511/.3 NO Bibliography: p. [293]-296 NO Includes index NO 書誌ID=1000313510; NCID=BA01358976; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000313510 OL 30