An Introduction to Karl Marx's Das Kapital

A Study in Formalisation