An axiomatization of ECTL | UPT Perpustakaan UHAMKA