Risultati sintetici Catalogo delle Biblioteca Universitaria di Pisa Ricerca: Nomi = Rigamonti, Gianni <1940- > >> Autore = davis, martin <1928-2023> Risultati: 1-1 di (1) 1. Davis, Martin <1928-2023> Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti Milano : Adelphi, 2003! Collocazione: R1COLL. 659 Monografia - Testo a stampa [TO01226839]