LEADER 01113nam a2200337 i 4500 001 991000993699707536 005 20020507181259.0 008 951020s1980 ne ||| | eng 020 $a0444003223 035 $ab10786314-39ule_inst 035 $aLE01305437$9ExL 040 $aDip.to Matematica$beng 082 0 $a001.642 084 $aAMS 03D 084 $aAMS 68N17 100 1 $aWand, Mitchell$051165 245 10$aInduction, recursion, and programming /$cMitchell Wand 260 $aNew York :$bNorth Holland,$cc1980 300 $axii, 202 p. ;$c24 cm. 500 $aBibliography: p. [190]-194. 500 $aIncludes index 650 4$aElectronic digital computers-programming 650 4$aInduction 650 4$aRecursion theory 650 4$aSoftware 907 $a.b10786314$b21-09-06$c28-06-02 912 $a991000993699707536 945 $aLE013 68N WAN11 (1980)$g1$i2013000038131$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10886527$z28-06-02 996 $aInduction, Recursion, and Programming$9336649 997 $aUNISALENTO 998 $ale013$b01-01-95$cm$da $e-$feng$gne $h0$i1 LEADER 00644nam a2200205 u 4500 001 991004250238007536 005 20220909114515.0 008 220909s2022 xx r 000 0 eng d 020 $a978-8867604258 040 $aBibl. Dip.le Aggr. Studi Umanistici - Sez. Lingue 041 0 $aita 100 1 $aRoz, Guillermo$01360409 245 10$aFlotarium /$cGuillermo Roz ; prefazione e traduzione dallo spagnolo di Diego Símini 260 $aLecce :$bPensaMultimedia,$c2016 300 $a166 p. ; 21 cm. 490 0 $aLa Quinta del Sordo$v15 700 1 $aSimini, Diego 912 $a991004250238007536 996 $aFlotarium$93377457 997 $aUNISALENTO