FJ Pelletier, AP Hazen - Handbook of the History of Logic, 2012 - Elsevier
Work that is called 'natural deduction'is carried out in two ways: first, as an object-language
method to prove theorems and to demonstrate the validity of arguments; and secondly, as a …