LEADER 01616nam0-2200445---450 
001 990005603250203316
005 20190403124926.0
035   $a000560325
035   $aUSA01000560325
035   $a(ALEPH)000560325USA01
035   $a000560325
100   $a19981214d1981----|||y0itaa50------ba
101   $aita
102   $ait
105   $a0 00|||
200 1 $aCompletezza, compattezza e indecidibilità$eun'introduzione alla logica matematica$fAlfred B. Manaster$g[trad. di Serenella Cerrito e Marta Cialdea]
205   $aNapoli : Bibliopolis$b1981
210   $a193 p.$cill.$a23 cm
215   $aTrad. di: Completeness, compactness, and undecidability$can introduction to mathematical logic
225 2 $aTesti per lo studio della logica matematica$v1
410  0$12001$aTesti per lo studio della logica matematica$v1
454   $1001SA0007004$12001$aCompleteness, compactness, and undecidability$ean introduction tomathematical logic$fAlfred B. Manaster.$950404
606   $aLogica matematica$2F
606   $aPROPOSIZIONI NON DECIDIBILI$2F
620   $dNAPOLI
676   $a511.3
700  1$aMANASTER,$bAlfred B.$042105
702  1$aCERRITO,$bSerenella
702  1$aCIALDEA,$bMarta
801  0$aIT$bSA$c20111219
912   $a990005603250203316
950  0$aDipar.to di Filosofia - Salerno$dDFF.V. MAN (408)$e1918 FIL
951   $aF.V. MAN (408)$b1918 FIL
959   $aBK
969   $aFIL
979   $c20121027$lUSA01$h1525
979   $c20121027$lUSA01$h1614
996   $aCompleteness, compactness, and undecidability$950404
997   $aUNISA
NUM   $aSA0003452