Probabilistic models for intuitionistic predicate logic | UPT Perpustakaan UHAMKA