ПСЗ, т. XI, № 8748. Договор о мире был ратифицирован 7-го августа 1743 года, ПСЗ, т. XI, № 8766.