The information in intuitionistic logic (2009)

by J van Benthem
Venue:Synthese 167, 329