Natural deduction January 2006 Gentzen, Gerhard.; Logic.; Logic, Symbolic and mathematical.; Modality (Logic) ISBN 0486446557 View on Amazon Lists featuring this book (1)
