---

＜図書＞
Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie / von A. Heyting
(Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 3, Heft 4)

出版者	Berlin : Springer
出版年	1934
本文言語	ドイツ語
大きさ	iv, 73 p. ; 23 cm
著者標目	*Heyting, A. (Arend), 1898-