Investigations on intuitionistic logic and modal logic / Patrick Seidelmann. 2007
Inhalt