1. A CONCISE INTRODUCTION TO LOGIC
پدیدآورنده: Hurley, Patrick J 2491-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
108
.
H8
C6
1997
2. Companion to Philosophical Logic
پدیدآورنده: / edited by Dale Jacquette
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,فلسفه - منطق
رده :
BC71
.
C65
2002
3. Companion to Philosophical Logic
پدیدآورنده: /edited by Dule Jacquette.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق.
4. A Companion to Philosophical logic
پدیدآورنده: / Edited by Dale Jacouette
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Logic
رده :
B
6
.
J33
2002
5. Computational Logic
پدیدآورنده: \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving.
رده :
E-Book
,
6. Concise Introduction to Logic
پدیدآورنده: / Patrick J. Hurley
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق
رده :
BC108
.
H83
2006
7. Concise Introduction to Logic
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق,Hurley, Patrick J.,1942-,Demarco, Joseph P.
رده :
CD-B
,
BC
,
108
,.
H83
,
2006
8. A Concise Introduction to Mathematical Logic
پدیدآورنده: by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
9. A Concise Introduction to Mathematical Logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
10. A Concise introduction to logic
پدیدآورنده : Hurley, Patrick J.
موضوع : ، Logic
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. A Concise introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic, Symbolic and mathematical
رده :
511
.
3
R249c
2
Ed
.
12. A Course on mathematical logic
پدیدآورنده: Srivastava, S. M. )Sashi Mohan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S65
2008
13. <A> Dictionary Of Philosophical Logic
پدیدآورنده: / Roy T. Cook
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: منطق -- واژه‌نامه‌ها
رده :
BC
9
.
C66
14. A Dictionary of Philosophical Logic
پدیدآورنده: \ Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic -- Dictionaries,Logic,منطق -- واژه‌نامه‌ها,منطق
رده :
E-Book
,
15. A First Course= First Course> in Logic >
پدیدآورنده: /Shawn Hedman
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
16. First Course in Logic
پدیدآورنده: \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
17. First Course in Mathematical Logic and Set Theory
پدیدآورنده: \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
18. First Course in Modern Logic
پدیدآورنده: \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
19. A First course in fuzzy logic
پدیدآورنده: / Hung T. Nguyen and Elbert A. Walker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Neural networks(Computer science),Fuzzy Logic
رده :
511
.
3
N576f
20. First course in fuzzy logic
پدیدآورنده: / Hung T.Nguyen and Elbert A.Walker
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Neural networks(Computer science),Fuzzy Logic
رده :
511
.
3
N576f
2000
