| 1 | Studies in the arithmetization of consistency statements in certain first order formal systems |
| Researcher: | Bezbaruah, Amola |
| Guide: | Medhi, J |
| University: | Gauhati University |
| Language: | English |
| 2 | |
| Researcher: | Pal, Tapan Kumar |
| Guide: | Maiti, M |
| University: | Indian Institute of Technology |
| Language: | English |