LEADER 01341nam0 22003613i 450 001 NAP0412972 005 20251003044250.0 010 $a2876470055 100 $a20080711e20041971||||0itac50 ba 101 | $afre$ceng 102 $afr 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aLogique mathématique$fStephen C. Kleene 210 $a[Paris]$cJ. Gabay$d[2004] 215 $a413 p.$d24 cm 300 $aTraduzione dall'inglese 300 $aRipr. facs. dell'ed.: Paris : A. Colin, 1971. 500 10$aMathematical logic$3LO10053469$9LO1V030580$9381023 606 $aLogica matematica$2FIR$3CFIC000378$9E 676 $a511.3$9LOGICA MATEMATICA (LOGICA SIMBOLICA)$v14 696 $aLogica simbolica$aLogica matematica 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 700 1$aKleene$b, Stephen Cole$3RAVV071503$4070$057809 801 3$aIT$bIT-000000$c20080711 850 $aIT-BN0095 901 $bNAP 01$cRIPR. FACS$n$ 912 $aNAP0412972 950 0$aBiblioteca Centralizzata di Ateneo$b1 v.$c1 v.$d 01RIPR. FACSFr. B 0107$e 0102 0000068245 VMA 1 v.$fY $h20080527$i20080527 977 $a 01 996 $aMathematical logic$9381023 997 $aUNISANNIO