Giovanni Livi La patria e la famiglia di Girolamo Marini ingegnere militare del secolo XVI 1901 Presentazione dell'Opera