proof theory

branch of mathematical logic

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

دسته بندی ها:

mathematical logicacademic disciplineacademic major