Na podstawie artykułu: "Arytmetyka Presburgera" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy