VDict mobile



spelling Incorrect term for "intuitionistic logic".
(1999-11-24)