Buy Me a Coffee at ko-fi.com

Proof theory

branch of mathematical logic

Pronunciation
/pruːf ˈθɪəri/
/pruf ˈθɪri/