Truth of a proposition, evidence of a judgement, validity of a proof, Synthese 73 (1987)

by P Martin-Löf