Truth of a proposition, evidence of a judgement, validity of a proof Per Martin-Löf OriginalPaper Pages: 407 - 420
Is there a path half-way between realism and verificationism? Pierre Jacob OriginalPaper Pages: 531 - 547