TY - RPRT TI - Algebraic proofs of some fundamental theorems in algebraic $K$-theory AU - Tom Harris PY - 2013 UR - https://arxiv.org/abs/1311.5162 ID - 1311.5162 ER -