Martin Davis: Il calcolatore universale
scheda
opere
TecaLibri