PROS ER Agustina, I Budiarso Pendekatan Logika Terhadap Verifikasi fulltext