Quillen's higher K-theory

GPTKB entity