The probable and the provable / - Cohen, L. Jonathan (Clarendon Press,, 1977)