LEADER 00977nam0-22003491i-450-
001 990007968000403321
005 20091106154313.0
010   $a88-430-2900-2
035   $a000796800
035   $aFED01000796800
035   $a(Aleph)000796800FED01
035   $a000796800
100   $a20041207d2004----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $aa---a---001yy
200 1 $aLogiche e teorie formalizzate$ecompletezza, incompletezza, indecidibilità$fDario Palladino
210   $aRoma$cCarocci$dc2004
215   $a202 p.$cill.$d24 cm
225 1 $aUniversità$iFilosofia$v487
610 0 $aInformatica
610 0 $aLogica matematica
610 0 $aLogica del secondo ordine
676   $a004
700  1$aPalladino,$bDario$045082
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990007968000403321
952   $a004-PAL-2$b3717$fSC1
959   $aSC1
996   $aLogiche e teorie formalizzate$9747457
997   $aUNINA