La produzione libraria per l'Università nel Seicento: il caso di Pavia