01012nam0-22003371i-450-990001103730403321000110373FED01000110373(Aleph)000110373FED0100011037320000920d????----km-y0itay50------baitaComputabilità e InsolubilitàIntroduzione alla teoria della computabilità e alla teoria delle funzioni ricorsiveMartin DavisEd. italiana / a cura di Mariano BiancaRomaEdizioni Abete[s.d.]XXVI, 269 p.24 cmLogicaRicorsività160Davis,Martin<1928- >51851Bianca,MarianoITUNINARICAUNIMARCBK9900011037304033217-27017788FI17-270.00117790FI17-270.00217789FI1FI1Computabilità e Insolubilità338144UNINAING01