သက်သေပြချက်သီအိုရီ

သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု

သင်္ချာဆိုင်ရာ သက်သေပြချက်များ (mathematical proofs) နှင့် သင်္ချာဆိုင်ရာ သက်သေပြနိုင်မှု/မပြနိုင်မှု (mathematical provability) စသည့် သဘောတရားများကို လေ့လာသည့် ဘာသာကို သက်သေပြချက် သီအိုရီ (proof theory) ဟု ခေါ်သည်။[၁]

အညွှန်းပြင်ဆင်

  1. Buss 1998, p. 2.

ကိုးကားပြင်ဆင်

  • Buss, Samuel R. (1998), "An Introduction to Proof Theory", in Buss, Samuel R., Handbook of Proof Theory, Elsevier, ISBN 0-444-89840-9