Na podstawie artykułu: "Wikipedysta:AdamKolany/brudnopis/Semantyka Kripkego dla intuicjonictycznego rachunku zdań" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy