01555nam 2200433 450 00000901020050718115300.020011203d1975----km-y0itay0103----baitaITEnumerabilità decibilità computabilitàHermes Hans[Traduzione di Edoardo Ballo]TorinoBoringhieri1975318 p.21 cmSerie di logica matematicaTit. orig. : Aufzählbarkeit, entscheidbarkeit, berechenbarkeitLogica matematica511.3(20. ed.)Logica matematica (Logica simbolica)Hermes,Hans42101Ballo,EdoardoITUniversità della Basilicata - B.I.A.RICAunimarc000009010Enumerabilit� decibilit� computabilit�77714UNIBASMONSCIMONOGRSCIENZESTD0040120011203BAS011048TORRE2020011204BAS011211TORRE2020011204BAS011336TORRE2020011204BAS011339TORRE2020011204BAS011341TORRE2020011204BAS01134220050601BAS011754batch0120050718BAS01105020050718BAS01110920050718BAS01113920050718BAS011153BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoDIDDidatticaPTS.s3.p28.2754735S547352001120304Prestabile Didattica