نظریه برهان
از ویکیپدیا، دانشنامهٔ آزاد.
الگو:گسترش نظریه برهان شاخهای از منطق ریاضی ست که برهان را به عنوان یک شئ صوری ریاضی در نظر میگیرد و با تکنیکهای ریاضی آن را تحلیل میکند.
الگو:گسترش نظریه برهان شاخهای از منطق ریاضی ست که برهان را به عنوان یک شئ صوری ریاضی در نظر میگیرد و با تکنیکهای ریاضی آن را تحلیل میکند.