1. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل
پدیدآورنده : /پیام سراجی
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع :
2. مقدمه اي بر منطق رياضي براي دانشجويان علوم کامپيوتر و رياضي
پدیدآورنده : پيام سراجي
کتابخانه: Public Library of Ayatollah Khamenei (Qom)
موضوع : منطق رياضي -- راهنماي آموزشي (عالي)
رده :
511
3-
س
427
م
3. مقدمهاي بر منطق رياضي، براي دانشجويان علوم کامپيوتر و رياضي
پدیدآورنده : / پيام سراجي,سراجي
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : منطق رياضي -- راهنماي آموزشي (عالي)
رده :
۵۱۱
/
۳
س
۴۲۷
م
4. مقدمهای بر منطق ریاضی برای دانشجویان علوم کامپیوتر و ریاضی
پدیدآورنده : /پیام سراجی.,سراجی
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : منطق ریاضی, -- راهنمای آموزشی (عالی)
رده :
QA
۹
/
س
۴
م
۷ ۱۳۸۹