LEADER 00983nam0-22003371i-450- 001 990001065980403321 005 20070420122011.0 010 $a0-262-19054-0 035 $a000106598 035 $aFED01000106598 035 $a(Aleph)000106598FED01 035 $a000106598 100 $a20001205d1970----km-y0itay50------ba 101 0 $aeng 200 1 $aIntroduction to elementary mathematical logic.$fAbram Aronovich Stolyar$gtranslation edited by Elliott Mendelson 210 $aCambridge$cThe MIT Press$d1970 215 $avii, 209 p.$d21 cm 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aStolyar,$bAbram Aronovich$050761 702 1$aMendelson,$bElliott 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001065980403321 952 $a7-115$b7859$fFI1 952 $a08 MM 27$b2876 C.E.$fDINED 959 $aFI1 959 $aDINED 996 $aIntroduction to elementary mathematical logic$9340036 997 $aUNINA LEADER 01226nam a2200301 i 4500 001 991001534039707536 005 20020502182539.0 008 000921s1997 it ||| | ita 020 $a8842051799 035 $ab10863679-39ule_inst 035 $aLE02371011$9ExL 040 $aDip.to Studi Storici$bita 082 0 $a025.1714 100 1 $aMorelli, Marcello$0106324 245 13$aLe carte della memoria :$barchivi e nuove tecnologie /$cM, Aymard, E. Borsa ...[et al.] ; a cura di Marcello Morelli e Mario Ricciardi ; prefazione di Giuseppe Vacca 260 $aRoma ; Bari :$bLaterza,$c1997 300 $a293 p. 490 0 $aStoria e società 650 4$aArchivi$xGestione informatica 650 4$aArchivistica e Informatica 700 1 $aRicciardi, Mario 907 $a.b10863679$b23-02-17$c28-06-02 912 $a991001534039707536 945 $aLE021 SOC23B105$g1$i2021000142086$lle021$nMazzella, Letizia$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12537007$z24-06-03 945 $aLE023 025.1714 MOR 1 1$g1$i2023000048207$lle023$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10973084$z28-06-02 996 $aCarte della memoria$9918169 997 $aUNISALENTO 998 $ale021$ale023$b01-01-00$cm$da $e-$fita$git $h3$i2