"Il calcolatore universale: da Leibniz a Turing" - читать интересную книгу автора (Martin Davis)