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