Title: Tracking reason
Subtitle: proof, consequence, and truth
Subjects: Symbolic and mathematical Logic, Proof theory, Logic, symbolic and mathematical