LEADER 01443nam2-2200409li-450 001 990000203250203316 005 20180312154756.0 010 $a3-540-55631-1 035 $a0020325 035 $aUSA010020325 035 $a(ALEPH)000020325USA01 035 $a0020325 100 $a20001109d1992----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aConstructivity in computer science$esummer symposium San Antonio, TX, June 19-22, 1991$eproceedings$fJ. P. Myers ... [et al.] 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1992 215 $aX, 246 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v613 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$asan antonio$a1991 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1991 610 1 $alogica matematica$acongressi$a1991 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aMyers,$bJ. Paul 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000203250203316 951 $a001 LNCS (613)$b0014564$c001$d00102711 959 $aBK 969 $aSCI 979 $c19920126 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010126$lUSA01$h1740 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aConstructivity in computer science$91501931 997 $aUNISA