Logical Aspects of Digital Mathematics Libraries ( extended abstract )