LEADER 01434nam a2200373 i 4500 001 991001041079707536 005 20020507182135.0 008 970625s1970 ne ||| | eng 035 $ab10792855-39ule_inst 035 $aLE01306131$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03-06 084 $aAMS 03F03 084 $aAMS 03F55 111 2 $aConference on intuitionism and proof theory <1968 ; Buffalo>$0535830 245 10$aIntuitionism and proof theory :$bproceedings of the summer conference at Buffalo, N. Y., 1968 /$cedited by A. Kino, J. Myhill and R. E. Vesley 260 $aAmsterdam :$bNorth-Holland,$c1970 300 $aviii, 516 p. ;$c23 cm. 490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$v90 500 $aIncludes bibliographies 650 4$aIntuitionistic mathematics$xCongresses 650 4$aLogic$xCongresses 650 4$aProof theory$xCongresses 700 1 $aKino, Akiko 700 1 $aMyhill, John 700 1 $aVesley, Richard Eugene 710 2 $aState University of New York 907 $a.b10792855$b23-02-17$c28-06-02 912 $a991001041079707536 945 $aLE013 03F KIN11 (1970)$g1$i2013000086668$lle013$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10893763$z28-06-02 996 $aIntuitionism and proof theory$9921388 997 $aUNISALENTO 998 $ale013$b01-01-97$cm$da $e-$feng$gne $h0$i1