On Two Attempts of Describing Propositional Realizability Logic | UPT Perpustakaan UHAMKA