Na podstawie artykułu: "Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy