1.
پدیدآورنده : قوام صفری ،مهدی,مهدی قوام صفری
کتابخانه: کتابخانه شفق(کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، ابن سینا? حسین بن عبد الله? 370 - 428 ق . شفاء،نقد و تفسیر,، برهان، ,، منطق،متون قدیمی تا قرن 14
رده :
189
/1
الف
164
ش
/
ش
ق
1391
2.
پدیدآورنده : قوام صفری ،مهدی,مهدی قوام صفری
کتابخانه: کتابخانه مطالعات فرهنگی (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ، ابن سینا? حسین بن عبد الله? 370 - 428 ق . شفاء،نقد و تفسیر,، برهان، ,، منطق،متون قدیمی تا قرن 14
رده :
189
/1
الف
164
ش
/
ش
ق
1391
3. Al - Kasim B. Ibrahim on the proof of God's existence...
پدیدآورنده : ./ edited with translation, introduction and notes by Binyamin Abrahamov
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : خدا -- اثبات (برهان اتقان صنع),خدا (اسلام) -- اثبات,کلام مغتزله
رده :
BP
۲۱۷
/
۲
/
ر
۵
د
۸۰۴۹۵۲ ۱۳۶۹
4. Analysis with an introduction to proof
پدیدآورنده : / Steven R. Ley
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : آنالیز ریاضی,برهان
رده :
QA
۳۰۰
/
ل
۹
آ
۸ ۱۳۷۹
5. Chance or creation? God's design in the universe
پدیدآورنده : / attributed to al -jahiz; translated and introduction by A.M.S.Abdel Haleem
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : آفرینش,خدا -- اثبات (برهان اتقان صنع)
رده :
BP
۲۳۲
/
۴
/
ج
۲
ع
۲۰۴۹۵۲ ۱۳۷۴
6. Deciphering the signs of God: a phenomen ological approach to Islam
پدیدآورنده : / Annemarie Schimmel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : خدا -- اثبات (برهان اتقان صنع),خدا (اسلام) -- اثبات -- جنبههای قرآنی
رده :
BP
۱۰۳
/
۱
/
ش
۹
د
۹ ۱۳۷۳
7. How to read do proofs: an introduction to mathematical thought processes
پدیدآورنده : / Daniel Solow
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : برهان,مطق ریاضی
رده :
QA
۹
/
۵۴
/
س
۹
ه
۲ ۱۳۸۱
8. Journey into mathematics: an introduction to proofs
پدیدآورنده : / Joseph J. Rotman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : برهان
رده :
QA
۹
/
۵۴
/
ر
۹
ج
۴ ۱۳۷۷
9. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : برهان,منطق موجهات,برنامهنویسی موازی
رده :
QA
۹
/
۵۴
/
ل
۲ ۱۳۸۲
10. ابن رشد
پدیدآورنده : دراسه وتحقیق د.جیرارجهامی
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : ارسطو۳۸۴-۳۲۲ق.م.-منطق )برهان(
رده :
B
،۴۹۱،
/
الف
۲
ت
۸