LEADER 01301nam a2200289 i 4500
001 991000914089707536
005 20020507175743.0
008 950606s1982    us            ||| | eng  
035   $ab10775006-39ule_inst
035   $aLE01304237$9ExL
040   $aDip.to Matematica$beng
084   $aAMS 01A60
084   $aAMS 68-03
100 1 $aAspray, William Franklin <jr>$0535442
245 10$aFrom mathematical constructivity to computer science :$bAlan Turing, John von Neumann, and the origins of computer science in mathematical logic /$cWilliam F. Aspray Jr
260   $aAnn Arbor, Michigan, USA ; London, England :$bUniv. Microfilms International,$c1982
300   $av, 443 p. ;$c21 cm
500   $aThis material was produced from a microfilm copy of the original document. - Facs. dell'ed.: Madison : University of Wisconsin, 1980
650  0$aMathematics$xHistory
700 1 $aTuring, Alan Mathison
700 1 $aNeumann, John :$cvon
907   $a.b10775006$b22-10-15$c28-06-02
912   $a991000914089707536
945   $aLE013 01A ASP11 (1982)$g1$i2013000029887$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i1087382x$z28-06-02
996   $aFrom mathematical constructivity to computer science$9922609
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gus $h0$i1