DOI 10.1007/s11229-008-9408-5 The information in intuitionistic logic

Cached


by Johan Van Benthem