Symbolic Logic:Analysis
From Knowino
Symbolic Logic Analysis is work to determine the characteristics and general behaviour of a set of axioms and theorems, without attempting to solve a specific problem.