The Universal Computer - The Road from Leibniz to Turing door Martin Davis