Na podstawie artykułu: "Twierdzenie Herbranda" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy