01091nam--2200373---450-99000356378020331620110919093836.0978-88-430-5793-1000356378USA01000356378(ALEPH)000356378USA0100035637820110913d2011----km-y0itay50------baitaITa---||||001yy<<La>> computabilitàalgoritmi, logica, calcolatoriMarcello Frixione, Dario PalladinoRomaCarocci2011142 p.20 cm<<Le>> bussole4192001<<Le>> bussole419Calcolo proposizionaleBNCF511.3FRIXIONE,Marcello45531PALLADINO,Dario45082ITsalbcISBD990003563780203316II.6. 1393232788 L.M.II.6.00298991BKUMAPASSARO9020110913USA011128PASSARO9020110919USA010938Computabilità1117051UNISA