01224nam a2200301 i 450099100112711970753620020507183745.0970630s1934 de ||| | ger b1080464x-39ule_instLE01307467ExLDip.to Matematicaeng511.3AMS 03-02AMS 03FHeyting, A.442160Mathematische grundlagenforschung Intuitionismus Beweistheorie /A. HeytingBerlin :Springer-Verlag,1934 (reprint 1974)iv, 73 p. ;24 cmErgebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge,0071-1136 ;4 =A series of modern surveys in mathematics,0071-1136 ;4Mathematical logicProof theoryErgebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ;4.b1080464x20-11-0628-06-02991001127119707536LE013 03-XX HEY11 (1934)12013000086903le013-E0.00-l- 00000.i1090912628-06-02Mathematische grundlagenforschung Intuitionismus Beweistheorie925881UNISALENTOle01301-01-97ma -gerde 01