LEADER 01425nam2-2200409li-450 
001 990000209700203316
005 20180312154710.0
010   $a3-540-64657-4
035   $a0020970
035   $aUSA010020970
035   $a(ALEPH)000020970USA01
035   $a0020970
100   $a20001109d1998----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aAlgorithmic number theory$ethird international symposium, ANTS-III Portland, Oregon, Usa, June 21-25, 1998$eproceedings$fJ.P Buhler (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr.1998
215   $aX, 640 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v1423
410  0$10010020264$12001$aLecture notes in computer science
610 1 $aalgoritmi$acongressi$a1998
610 1 $acongressi$aportland$a1998
676   $a00512$9Svuluppo dei programmi
702  1$aBuhler,$bJoe P.
710 12$aInternational symposium ANTS-III$d3.$ePortland$f1998$0746223
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000209700203316
951   $a001 LNCS (1423)$b0022674$c001$d00104101
959   $aBK
969   $aSCI
979   $c19981129
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010206$lUSA01$h1557
979   $c20020403$lUSA01$h1629
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aAlgorithmic number theory$91489215
997   $aUNISA

LEADER 01171nam a2200301 i 4500
001 991001410179707536
005 20020507125516.0
008 000717s1994    uk            ||| | eng  
020   $a0415094062
035   $ab10216777-39ule_inst
035   $aLE02985421$9ExL
040   $aISUFI - Sett. Diritti e Politiche Euromediterranee$bita
082 0 $a192
100 1 $aRussell, Bertrand$07043
245 10$aFoundations of logic, 1903-05 /$cBertrand Russell ; edited by Alasdair Urquhart with the assistance of Albert C. Lewis
260   $aLondon :$bRoutledge,$c1994
300   $alii, 743 p. :$bill. ;$c25 cm.
440  4$aThe collected papers of Bertrand Russell ;$v4
500   $aIncludes bibliographical references (p. 713-726) and indexes.
650  4$aFilosofia
700 1 $aUrquhart, Alasdair
700 1 $aLewis, Albert C.
907   $a.b10216777$b24-05-11$c27-06-02
912   $a991001410179707536
945   $aLE029 192 RUS01.01 V.4$cV.4$g1$iLE029-1382$lle029$o-$pE0.00$q-$rn$so  $t0$u0$v0$w0$x0$y.i10265648$z27-06-02
996   $aFoundations of logic, 1903-05$9207916
997   $aUNISALENTO
998   $ale029$b01-01-00$cm$da  $e-$feng$guk $h0$i1