Na podstawie artykułu: "Formalizacja rachunku zdań" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy