01434nam a2200373 i 450099100104107970753620020507182135.0970625s1970 ne ||| | eng b10792855-39ule_instLE01306131ExLDip.to Matematicaeng511.3AMS 03-06AMS 03F03AMS 03F55Conference on intuitionism and proof theory <1968 ; Buffalo>535830Intuitionism and proof theory :proceedings of the summer conference at Buffalo, N. Y., 1968 /edited by A. Kino, J. Myhill and R. E. VesleyAmsterdam :North-Holland,1970viii, 516 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237X ;90Includes bibliographiesIntuitionistic mathematicsCongressesLogicCongressesProof theoryCongressesKino, AkikoMyhill, JohnVesley, Richard EugeneState University of New York <Buffalo>.b1079285523-02-1728-06-02991001041079707536LE013 03F KIN11 (1970)12013000086668le013-E0.00-l- 01010.i1089376328-06-02Intuitionism and proof theory921388UNISALENTOle01301-01-97ma -engne 01