https://123dok.com/document/y80o0n5q-teoremainterpolasi-logika-predikat-substruktur-diponegoro-university-institutional-repository.html