An Introduction to the Logic of Marxism