Ph.D., .Mathematics Institute for Studies in Theoretical Physics and Mathematics, Tehran, June, 2000 M.Sc., Mathematics Isfahan University Of Technology, Isfahan , June, 1996 B.Sc .,Mathematics Isfahan University Of Technology, Isfahan, June, 1994 |
PhD Thesis: Gentzen Style Axiomatizations for some Conservative Extensions of Basic Propositional Calculus
M.Sc Thesis: Coherence Theorems via Knot theory |