00777nam 2200229 450 991075430070332120231115143619.020231115d1980----u y0engy50 baengUS 001yyFrom mathematical constructivity to computer scienceAlan Turing, John von Neumann and the origins of computer science in mathematical logicMichiganUniversity of Wisconsin-Madison1980443 p.20 cmAspray,William F. j.1434011ITUNINARICAUNIMARCBK991075430070332110 DO 227 TADONOTAMBURRINI227/23DINELDINELFrom mathematical constructivity to computer science3585086UNINA