On the meanings of the logical constants and the justifications of the logical laws (1985)

by P Martin-Löf
Venue:In Proceedings of the conference on mathematical logic