New posts in intuitionistic-logic

Are proofs by contradiction really logical?

logic proof-theory intuitionistic-logic