LEADER 01192nas2-2200349---450- 001 990003253430203316 005 20090525113907.0 035 $a000325343 035 $aUSA01000325343 035 $a(ALEPH)000325343USA01 035 $a000325343 100 $a20090525d1982----km-y0itay50------ba 101 $aita 102 $aIT 105 $a----||||001yy 200 1 $aLectures on infinitary logic and logics programs$fHelena Rasiowa$fRaccolte a cura di Gianfranco Mascari 210 $aRoma$cIstituto per le applicazioni del calcolo "Mauro Picone"$d1982 215 $a122 p.$d24 cm 225 2 $aIAC. Istituto per le applicazioni del calcolo "Mauro Picone"$iQuaderni. Serie III$v142 410 0$1001000325296$12001$aIAC. Istituto per le applicazioni del calcolo "Mauro Picone"$v142 606 0 $aProbabilità 676 $a519 700 1$aRASIOWA,$bHelena$050078 702 1$aMASCARI,$bGianfranco 801 0$aIT$bsalbc$gISBD 912 $a990003253430203316 951 $a519 IAC (142)$b18118/CBS$c519 959 $aBK 969 $aSCI 979 $aRSIAV6$b90$c20090525$lUSA01$h1139 996 $aLectures on infinitary logic and logics programs$91119663 997 $aUNISA