Journal | Authors
Articles
Truth of a proposition, evidence of a judgement, validity of a proof
1987
Per Martin-Löf
Synthese 73/3
