Logic And Linear Algebra