Logic

person:subfield:logic

Formal study of valid inference, argument structure, and proof.