reference request for finiteness theorem for $K_2$

42 Views Asked by At

Is there an algebraic proof of the finiteness theorem for $K_2$ of number fields available? The Garland's proof (1971) heavily relies on transcendental methods.