LEADER 01375nam1 22003373i 450 001 PUV0057294 005 20240906063200.0 100 $a20080505d1991 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aMathematical foundations of computer science$fPeter A. Fejer, Dan A. Simovici 210 $aNew York [etc.]$cSpringer-Verlag 215 $a v.$d25 cm. 225 | $aTexts and monographs in computer science 410 0$1001AQ10000364$12001 $aTexts and monographs in computer science 463 1$1001PUV0062582$12001 $a˜1: œSets, relations and induction$fPeter A. Fejer, Dan A. Simovici$v1 606 $aCalcolo meccanico$2FIR$3CFIC002341$9I 676 $a004.01$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Filosofia e teoria$v14 676 $a004.0151$9ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA. Principi matematici$v22 700 1$aFejer$b, Peter A.$3AQ1V006548$4070$0771374 701 1$aSimovici$b, Dan A.$3AQ1V006549$4070$0771375 801 3$aIT$bIT-NA0079$c20080505 850 $aIT-BN0095 912 $aPUV0057294 950 1$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 004.01 FEJ.ma 967 $m1 977 $a 01 996 $aMathematical foundations of computer science$91574054 997 $aUNISANNIO