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