MacTutor
There is a certain way of searching for the truth in mathematics that Plato is said first to have discovered. Theon called this analysis.
Numerical logistic is that which employs numbers; symbolic logistic that which uses symbols, as, say, the letters of the alphabet.
Quod est, Nullum non problema solvere.
There is no problem that cannot be solved.