bibliography: Rudbeckius's logical works