LEADER 00915cam0 2200253   450 
001 E600200053428
005 20160314114217.0
100   $a20090911d1930    |||||ita|0103    ba
101   $aita
102   $aIT
200 1 $aScritti giuridici$eraccolti per iniziativa di colleghi e discepoli in occasione del 40. anno d'insegnamento dell'autore$evol. 1.$fGino Segrč
210   $aCortona$cStab. Tipografico Commerciale$d1930
215   $aXIII, 759 p.$d24 cm.
300   $a(mm)
700  1$aSegrč$b, Gino$3AF00008474$4070$0425283
801  0$aIT$bUNISOB$c20160314$gRICA
850   $aUNISOB
852   $aUNISOB$jFondo|Casavola$m146567
912   $aE600200053428
940   $aM 102 Monografia moderna SBN
941   $aM
957   $aFondo|Casavola$b000855$gSi$d146567$hCasavola$rdono$1menle$2UNISOB$3UNISOB$420090911102241.0$520160314114217.0$6petrellap
996   $aScritti giuridici$91407737
997   $aUNISOB

LEADER 00777nam  2200229   450 
001 9910754300703321
005 20231115143619.0
100   $a20231115d1980----u  y0engy50    ba
101 0 $aeng
102   $aUS
105 0 $a        001yy
200 1 $aFrom mathematical constructivity to computer science$eAlan Turing, John von Neumann and the origins of computer science in mathematical logic
210   $aMichigan$cUniversity of Wisconsin-Madison$d1980
215   $a443 p.$d20 cm
700  1$aAspray,$bWilliam F. j.$01434011
801  2$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a9910754300703321
952   $a10 DO 227 TA$bDONOTAMBURRINI227/23$fDINEL
959   $aDINEL
996   $aFrom mathematical constructivity to computer science$93585086
997   $aUNINA