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