Other Category

Logic

Arguments, formal systems, inference, semantics, and proof patterns.