Acknowledgement

Due to a grant from the British Society for the History of Mathematics Steve Russ was able to make a short visit in December 2018 to an archive in Prague to investigate early catalogues of the National Library. There is a report about this visit at https://www.bshm.ac.uk/bshm-small-grants-scheme in which the final paragraph explains how this visit led to the Bolzano Symposium at CLMPST2019.