Tracking Reason
Subtitle: Proof, Consequence, and Truth
Publisher: Oxford University Press
Published: 2006
Language: eng
ISBN-13: 9781280560576
Subjects: Proof theory; Logic, symbolic and mathematical