Buy Me a Coffee at ko-fi.com

Natural deduction

kind of proof calculus

Pronunciation
/ˈnaʧərəl dɪˈdʌkʃən/
/ˈnæʧərəl dəˈdəkʃən/