Repository | Journal | Volume | Article

238584

Truth of a proposition, evidence of a judgement, validity of a proof

Per Martin-Löf

pp. 407-420

Publication details

Published in:

(1987) Synthese 73 (3).

Pages: 407-420

DOI: 10.1007/BF00484985

Full citation:

Martin-Löf Per (1987) „Truth of a proposition, evidence of a judgement, validity of a proof“. Synthese 73 (3), 407–420.