Title: On the Meaning of the Logical Constants and the Justifications of the Logical Laws
Description: Lecture notes of Per Martin-Löf. Argues that a close analysis of the concepts of proof, judgement and justification yield a direct, constructive account of the meaning of logical judgements.