"The Universal Computer: The Road from Leibniz to Turing" - читать интересную книгу автора (Martin Davis)