An Introduction of the logic of marxism.