Topic
Logic
Formal systems of reasoning, inference rules, and the foundations of mathematical proof.
Logic
Study of valid reasoning and inference — from classical propositional logic to formal proof theory and the metatheoretic questions that arise at the boundaries of mathematical and philosophical inquiry.