Degrees of Belief and Knowledge in Mathematics
Benedikt Löwe, Thomas Müller

Abstract:
This is an extended abstract of a talk to be delivered at the
conference "Degrees of Belief" in Konstanz (July 2004).