Base-extension semantics for intuitionistic sentential logic | UPT Perpustakaan UHAMKA