01616nam0-2200445---450 99000560325020331620190403124926.0000560325USA01000560325(ALEPH)000560325USA0100056032519981214d1981----|||y0itaa50------baitait0 00|||Completezza, compattezza e indecidibilitàun'introduzione alla logica matematicaAlfred B. Manaster[trad. di Serenella Cerrito e Marta Cialdea]Napoli : Bibliopolis1981193 p.ill.23 cmTrad. di: Completeness, compactness, and undecidabilityan introduction to mathematical logicTesti per lo studio della logica matematica12001Testi per lo studio della logica matematica1001SA00070042001Completeness, compactness, and undecidabilityan introduction tomathematical logicAlfred B. Manaster.50404Logica matematicaFPROPOSIZIONI NON DECIDIBILIFNAPOLI511.3MANASTER,Alfred B.42105CERRITO,SerenellaCIALDEA,MartaITSA20111219990005603250203316Dipar.to di Filosofia - SalernoDFF.V. MAN (408)1918 FILF.V. MAN (408)1918 FILBKFIL20121027USA01152520121027USA011614Completeness, compactness, and undecidability50404UNISASA0003452