|Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements.|
Books on Amazon
Proof / Nozick: must have premises which would not have believed it if the conclusion was wrong - but they might be known, even if the conclusion is not known - (by a particular person) - Evidence "leaves open the question": if S does not know the conclusion then he does not know the premise.
Philosophical Explanations Oxford 1981
The Nature of Rationality 1994