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