1. A CONCISE INTRODUCTION TO LOGIC
پدیدآورنده : Hurley, Patrick J 2491-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
108
.
H8
C6
1997
2. <A> Companion to Philosophical Logic
پدیدآورنده : / edited by Dale Jacquette
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,فلسفه - منطق
رده :
BC71
.
C65
2002
3. A Companion to philosophical Logic
پدیدآورنده : /edited by Dule Jacquette.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : منطق.
4. A Companion to Philosophical logic
پدیدآورنده : Jacquette,Dale
کتابخانه: (قم)
موضوع :
رده :
B
6
.
J33
2002
5. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving.
رده :
E-Book
,
6. <A> Concise Introduction to Logic
پدیدآورنده : / Patrick J. Hurley
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC108
.
H83
2006
7. <A> 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, Sashi Mohan
موضوع : ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
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
,
16. <A> First Course in Logic
پدیدآورنده : \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
17. <A> 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. <A> 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. A Logic Book: Fundamentals of Reasoning
پدیدآورنده : Johnson, Robert M
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
71
.
J6
L6
1999
