Logic : Exploration of formal systems of reasoning, including propositional and predicate logic, and their applications in mathematics, computer science, and philosophy.
Be the first to publish your research in this scientific discipline.