proof theory

branch of mathematical logic

en-GB/ˈpɹuːf θɪəɹiː/
en-US/ˈpɹuf ˌθiəˌɹi/

ক্যাটাগরি:

mathematical logicacademic disciplineacademic major