このページのリンク

Proof theory and intuitionistic systems / Bruno Scarpellini
(Lecture notes in mathematics ; 212)

データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1971
本文言語 英語
大きさ vii, 290, [1] p ; 26 cm

所蔵情報を非表示

積層4層 : Germany 410.8||L||212(B) 9851259544
354005541X
積層4層 :GERMANY 410.8||L||212 9851259921


書誌詳細を非表示

一般注記 Bibliography: p. [291]
著者標目  *Scarpellini, Bruno
分 類 LCC:QA3
LCC:QA9
DC:511/.3
件 名 LCSH:Intuitionistic mathematics
LCSH:Proof theory
書誌ID TY00017568
ISBN 354005541X
NCID BA06685732