Symbolic Logic
Encyclopedia article; The Columbia Encyclopedia, Sixth Edition, 2007
...Peirce, Ernst Schroder, Gottlob Frege, Giuseppe Peano, Bertrand Russell, A. N. Whitehead, David Hilbert, and others. Truth-functional Analysis The first part of symbolic logic is known as truth-functional analysis, the propositional calculus...