Vaderlandsche historie, vervattende de geschiedenissen der nu Vereenigde Nederlanden, inzonderheid die van Holland [...]. Negentiende deel, beginnende in't jaar 1729, en eindigende met het sluiten der vrede van Dresden, in't jaar 1745.