Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication | UPT Perpustakaan UHAMKA