عنوان
پدید آورنده
موضوع
رده
511،/3،ه694م
511
،
/3
،
ه
694
م
کتابخانه
محل استقرار
همیلتون ،1943-
منطق برای ریاضیدانان
واژه نامه .
عنوان اصلی : Logic for mathematicians
]مشهد[،آستان قدس رضوی ? بنیاد فرهنگی رضوی
1371
282 ص .: جدول
،منطق ریاضی،
511
/3
ه
694
م
Hamilton, A. G.
تالیف آ. گ . همیلتن ; ترجمه محمدعلی پورعبدالله
