- Details
-
Last Updated on Sunday, 18 May 2014 06:16
-
Hits: 4378
Current PhD student
- Rahim Ramezanian
- Zahra Ghafouri
Former PhD students
- Mojtaba Aghaei, the title of dissertation: Gentzen style Axiomatizations for Basic Logic,May 2000, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
- Farzad Didehvar, the title of dissertation: Some concepts and problems in theory of complexity in structures, August, 2002, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
- Majid Alizadeh, the title of dissertation: Algebraic Aspects of Basic Propositional Logic , June 2004, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
- Rasoul Ramezanian, the title of dissertation: The Temporal Continumm and Dynamic Computaions, August, 2008, Department of Mathematics, Sharif University of Technology,
Tehran.
- Fateme Nabavi, the title of dissertation: Deontic Logic of Islamic Jurisprudence, October, 2009, Department of Mathematics, Sharif University of Technology, Tehran.
- Mojtaba Mojtahedi, the title of dissertation: The
-Provability Logic of Intuitionistic Arithmetic, October, 2013, Department of Mathematics, Sharif University of Technology,Tehran.
