Complexity for probability logic with quantifiers over propositions | UPT Perpustakaan UHAMKA