TY - RPRT TI - Logic and linear algebra: an introduction AU - Daniel Murfet PY - 2017 UR - https://arxiv.org/abs/1407.2650 ID - 1407.2650 ER -