Translations of some of Leibniz's most important logical works. A long introduction provides explanatory comment and gives an estimate of Leibniz as a logician.