Na podstawie artykułu: "Rachunek predykatów" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy