We introduce a theory of infinite lists in HOL formalized as functions over naturals (folder ListInf, theories ListInf and ListInf Prefix). It also provides additional results for finite lists (theory ListInf/List2), natural numbers (folder CommonArith, esp. division/modulo, naturals with infinity), sets (folder CommonSet, esp. cutting/truncating sets, traversing sets of naturals).

In Iran, the number of published articles has increased significantly in the basic and applied sciences including medicine and its subspecialties during the recent years. The present study reviewed Iranian science production in medicine, focusing on Iranian medical journals and assessing the current status of Iranian medical journals in several information databases. The study revealed that onl...

The present study aimed at Investigating the knowledge and attitude of Nursing Students towards Iranian Traditional Medicine in universities of Tehran in 2012-2013. 300 students of nursing studying at different universities in Tehran participated in this descriptive, cross-sectional study. The data was collected through a standard questionnaire with an acceptable validity and reliability. The q...

The purpose of this study was twofold: (a) to assess the retention of two word types (synonyms and homonyms) in the short term memory, and (b) to investigate the effect of these word types on word learning by asking learners to learn their Persian meanings. A total of 73 Iranian language learners studying English translation participated in the study. For the first purpose, 36 freshmen from an ...