Formal semantics and logic | UPT Perpustakaan UHAMKA