On the meanings of the logical constants and the justifications of the logical (1996)

by P Martin-Löf