PP-2010-20: Gerard R. Renardel de Lavalette, Lex Hendriks, Dick de Jongh Intuitionistic implication without disjunction 1.Full Text, 2.Abstract. < Back