Simplifying proofs in Fitch-style natural deduction systems (2004)

by Konstantine Arkoudas
Citations:3 - 2 self