Books

• E. Nagel, J. Newman, Godel’s Proof , Translation to Farsi, Moula, Tehran, 1985.
• Mathematical Logic, (Farsi), Hermes, Tehran, 2005, 2nd. edition 2007, 4th printing 2014.
• M. van Atten, On Brouwer , Translation to Farsi, Hermes, Tehran, 2008.

Articles

• In English:

1. Aspects of Basic Logic, PhD thesis.
2. (with W. Ruitenburg) Basic Propositional Calculus I, Mathematical Logic Quarterly, (4) 1998, pp. 317-343.
3. (with M. Moniri) Intuitionistic Open Induction and the Least Number Principle and the Buss Operator, Notre Dame Journal of Formal Logic, (39) 1998, pp. 212-220.
4. A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. Studia Logica, (62) 1999, pp. 341-352.
5. (with M. Aghaei) A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quarterly, (2) 2000, pp. 199-206.
6. (with W. Ruitenburg) Basic Propositional Calculus II, Archive for Mathematical Logic, (40) 2001, 349-364.
7. (with M. Aghaei) Gentzen style axiomatizations for some conservative extensions of Basic Propositional Logic, Studia Logica, (68) 2001, 263-285.
8. (with B. Hesaam) Every narrow rooted tree Kripke model of HA is locally PA, Mathematical Logic Quarterly, (48) 2002, 391-395.
9. (with M. Aghaei) A Gentzen style axiomatization for Basic Predicate Logic, Archive for Mathematical Logic, (42) 2003, 245-259.
10. (with W. Ruitenburg and S. Salehi) Intuitionistic axiomatization for bounded extension Kripke models, Annals of Pure and Applied Logic, (124)2003, 267-285.
11. (with M. Alizadeh) On the Linear Lindenbaum Algebra of Basic Propositional Logic, Mathematical Logic Quarterly, (50)2004, 65-70.
12. Kant’s influence on Brouwer, Hekmat va Fasafeh, No. 1, Vol. 1, Allameh Tabatabai University, pp. 1-9.
13. (with M. Alizadeh) On Löb  algebras, Mathematical Logic Quarterly, (52) 2006, pp.95-105.
14. (with M. Alizadeh) Amalgamation property for the class of Basic algebras and some of its natural extensions, Archive for Mathematical Logic, (45) 2006, 913-930.
15. (with F. Nabavi) On some questions of Aqvist, Logic Journal of The IGPL, (14) 2006, pp. 1-13.
16. (with B. Hesaam) An Introduction to Basic Arithmetic, Logic Journal of The IGPL, (16) 2008, pp. 1-13.
17. Ibn Sina’s Philosophy of Mathematics, in Sh. Rahman et al. (eds.), The Unity of Science in the Arabic Tradition, Series: Logic, Epistemology and the Unity of Science, Vol. 11, Springer, 2008, pp. 43-61.
18. Brouwer’s notion of intuition and theory of knowledge by presence, in M. van Atten et al. (eds.), One Hundred Years of Intuitionism, 1907-2007, Birkhauser, 2008, pp.115-130.
19. (with R. Ramezanian) Decidability and Specker sequence in intuitionistic mathematics, Mathematical Logic Quarterly, (54)2009, 637-648.
20. (with R. Ramezanian) The double negation of the intermediate value theorem, Annals of Pure and Applied Logic, (161) 2010, 737-744.
21. (with M. Alizadeh) On Löb algebras II, Logic Journal of The IGPL, (20) 2012, pp.27-44..
22. (with V. Vaezian) A unification of the basic logics of Sambin and VisserLogic Journal of The IGPL, (20) 2012, pp. 1202-1213.

23. (with R. Ramezanian) On the constructive notion of closure maps, Mathematical Logic Quarterly, (56) 2012, 348-355.
24. (with R. Ramezanian) A solution to the surprise exam paradox in constructive mathematics, The Review of Symbolic Logic, (5) 2012, pp. 679-686.

25. (with M. Mojtahedi) Completeness of intermediate logics with doubly negated axioms, Mathematical Logic Quarterly, (60) 2014, pp. 6-11.
26. (with M. Mojtehedi) The de Jongh Property for Basic Arithmetic, Archive for Mathematical Logic, (53) 2014, pp. 881-895.
27. (with M. Mojtehedi) Reduction of Provability Logics to$\Sigma_1$- Provability Logics, Logic Journal of The IGPL(23) 2015, pp. 842-847.
28. (with M. Alizadeh and W. Ruitenburg) Boolean algebras in Visser's algebras, Notre Dame Journal of Formal Logic, (57) 2016, pp. 141-150.
29. (with Z. Ghafouri) The principle of open induction and Specker sequences, Logic Journal of The IGPL, (25) 2017, pp. 232-238.
30. (with W. Ruitenburg) Latarres, Lattices with an Arrow, to appear in Studia Logica, DOI: https://doi.org/10.1007/s11225-017-9765-5
31. (with SN. Mousavian) Avicenna on the Primary Propositions, to appear in History and Philosophy of Logic, DOI: https://doi.org/10.1080/01445340.2017.1408739
32. (with Z. Ghafouri) Compactness, Colocatedness, Measurability and ED, to appear in Journal of the IGPL, DOI: https://doi.org/10.1093/jigpal/jzx060
33.
• In Farsi:

1. Brouwerian Intuitionism, The Journal of Nashr-e-Riazi, Vol. 9, No. 1, Tehran, 1998 (Farsi).
2. Feferman and Lakatos’ Philosophy of Mathematics, Farhang va Andishe-ye Riyazi,(Farsi), (23), 2002.

Reviews

1. R. Boone, Review of G. Moore: Axiom of Choice, The Journal of Nashr-e-Riazi, Vol.2, No. 3, Tehran, 1989 (translation to Farsi).
2. Review of H. Enderton: A Mathematical Introduction To Logic, The Journal of Nashr-e-Riazi, Vol. 2, No. 1, Tehran, 1988 (Farsi).
3. Review of D. van Dalen: Logic and Structure, The Journal of Nashr-e-Riazi, Vol. 7, No. 1, Tehran, 1996 (Farsi).
4. Review of D. van Dalen: Mystic, Geometer and Intuitionist, the life and work of L.E. J. Brouwer, Vol. 1, OPU, 1999, The Journal of Nashr-e-Riazi, Vol. 11, No. 1, Tehran, 2000 (Farsi).
5. C. Parsons, Review of J. Burges: A subject with no object, The Journal of Nashr-e-Riazi, Vol. 11, No. 1, Tehran, 2000 (translation to Farsi).