The Uncertain Reasoner's Companion (Cambridge Tracts in Theoretical Computer Science)