A logical basis for constructive systems | UPT Perpustakaan UHAMKA