On logical specifications of the Argument Interchange Format | UPT Perpustakaan UHAMKA