Na podstawie artykułu: "Tableau (system dowodzenia twierdzeń)" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy