برادران خسروشاهی، غلامرضا، 1318 ( همکار ) (1)

رجبی طرخورانی، محمد، 1331- 1372 ( همکار ) (1)

اندرتون، هربرت ( پدیدآورنده ) (1)

مرکز نشر دانشگاهي (1)

منطق ریاضی (1)

تهران (1)

کتاب (1)

مخزن (1)

فارسی (1)

1378 ( تاریخ انتشار ) (1)