The Universal Computer (The Road from Leibniz to Turing, Third Edition)