Richard Zach

University of Calgary

Canada

Bio

Specialist in logic, proof theory, and the history and philosophy of formal systems.

logicphilosophy of mathematics