نظریۀ برهان شاخه‌ای است از منطق که، نظیر خود منطق، محل تلاقی فلسفه و ریاضیات است. کتاب روایتی است از اینکه چگونه نگاه نظریه‌برهانی به طبیعت منطق، به مثابۀ یک فلسفۀ منطق، می‌تواند معنایی برای مطالعۀ ریاضیاتی منطق‌های گوناگون فراهم کند و به عکس، چگونه مطالعه ریاضیاتی منطق‌های گوناگون می‌تواند نگاه نظریه‌برهانی به طبیعت منطق را محقق کند. چارچوب این روایت را حساب رشته تشکیل می‌دهد. از این روست که نام کتاب چنین است: نظریۀ برهان؛ حساب رشته: چارچوبی برای معنا و منطق.
