---

＜図書＞
Proof theory and intuitionistic systems
(Lecture notes in mathematics ; 212)

出版者	Berlin : Springer
出版年	1971
大きさ	vii, 290, {1} p. 26 cm.
著者標目	Scarpellini, Bruno
件　名	Intuitionistic mathematics Proof theory
一般注記	Bibliography: p. {291}

 類似資料