Biblioteca nacional (madrid).catálogo de códices latinos - Stegmüller (1942)