آوین-نگریک
همچنین شناخته شده با: نظریه برهانی
برابر انگلیک (انگلیسی): proof-theoretic


تاربرگ‌های پیموده‌شده در این نشست: پی. اس. نویکوف ⟩ پل ریچارد هالموس ⟩ آوین‌پذیری ⟩ Posterior Analytics ⟩ پیشوندیدن ⟩ گویایی ارستو