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

Per Martin-Löf

pp. 407-420


This document is unfortunately not available for download at the moment.

Not implemented yet !