Implicit Epistemic Aspects of Constructive Logic.

Göran Sundholm Implicit Epistemic Aspects of Constructive Logic. 191-212 1997 6 Journal of Logic, Language and Information 2 db/journals/jolli/jolli6.html#Sundholm97