گویایی آوین‌پذیری

همچنین شناخته شده با: منطق اثبات پذیری
برابر انگلیک (انگلیسی): Provability logic


تاربرگ‌های پیموده‌شده در این نشست: ماگما