رضا درگاهی فر

نظریۀ برهان: حساب ‌رشته: چارچوبی برای معنا و منطق Proof Theory: Sequent Calculus: A Framework for M

صفحات اول نظریه برهان دکتر حسینی.pdf

1.75M