01190nam a2200313 i 450099100113532970753620020507183917.0970709s1973 de ||| | eng 3540064915b10805771-39ule_instLE01307611ExLDip.to Matematicaeng511.3AMS 03F55Troelstra, A. S.57222Metamathematical investigation of intuitionistic arithmetic and analysis /A. S. Troelstra (ed.)Berlin ; Heidelberg ; New York :Springer-Verlag,1973xvii, 486 p. :ill. ;24 cmLecture notes in mathematics,0075-8434 ;344Bibliography: p. [462]-475Intuitionistic mathematicsModel theoryProof theory.b1080577123-02-1728-06-02991001135329707536LE013 03F TRO13 (1973)12013000089072le013-E0.00-l- 00000.i1091037228-06-02Metamathematical Investigation of Intuitionistic Arithmetic and Analysis339936UNISALENTOle01301-01-97ma -engde 01