Na podstawie artykułu: "Twierdzenie o reprezentacji algebr Heytinga" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy