Probable and the provable - Cohen, L. Jonathan (Clarendon library of logic and philosophy. Ed by L Jonathan Cohen, 1977)