https://123dok.com/document/z3n5l3mq-teorema-interpolasi-logika-predkat-diponegoro-university-institutional-repository.html