Natural Deduction (2006)

by D Prawitz