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