نظریۀ برهان: حساب ‌رشته: چارچوبی برای معنا و منطق