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

by Per Martin-Löf
Venue:Nordic Journal of Philosophical Logic