Logic and Linear Algebra: An Introduction