Repository | Directory | Profile
References
Per Martin-Löf
Articles
XTruth of a proposition, evidence of a judgement, validity of a proof
1987
Synthese 73/3
Repository | Directory | Profile
Articles
XTruth of a proposition, evidence of a judgement, validity of a proof
1987
Synthese 73/3