Na podstawie artykułu: "Interpretacja języka klasycznego rachunku predykatów" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy