1.
پدیدآورنده: Lancaster, Donald E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Logic circuits,Transistor circuits,، Integrated circuits
رده :
700
2. ......................
پدیدآورنده: Nagle, H. Troy.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic circuits,Circuits ، Electronic digital computer
رده :
TK
7888
.
4
.
N33
3. .....................
پدیدآورنده: Pollack, Solomon L
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Decision logic tables
رده :
T
57
.
4
.
P65
4. ......................
پدیدآورنده: edited by R. Parikh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
453
5. .....................
پدیدآورنده: Chang, Chin-liang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
6. A Baker's dozen :
پدیدآورنده: by Bonnie Baker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Digital integrated circuits-- Design and construction,Logic design
رده :
TK7874
.
B343
2005
7. A Baker's dozen : real analog solutions for digital designers
پدیدآورنده: Baker, Bonnie )Bonnie C.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Design and construction ، Digital integrated circuits,، Logic design
رده :
TK
7874
.
B343
2005
8. <A> Companion to Philosophical Logic
پدیدآورنده: / edited by Dale Jacquette
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,فلسفه - منطق
رده :
BC71
.
C65
2002
9. A Companion to Philosophical logic
پدیدآورنده: / Edited by Dale Jacouette
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Logic
رده :
B
6
.
J33
2002
10. <A> Concise Introduction to Logic
پدیدآورنده: / Patrick J. Hurley
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق
رده :
BC108
.
H83
2006
11. <A> Concise Introduction to Logic
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق,Hurley, Patrick J.,1942-,Demarco, Joseph P.
رده :
CD-B
,
BC
,
108
,.
H83
,
2006
12. A Concise Introduction to Mathematical Logic
پدیدآورنده: by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
13. A concise introduction to logic
پدیدآورنده : Hurley, Patrick J.
موضوع : ، Logic
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. A Concise introduction to mathematical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic, Symbolic and mathematical
رده :
511
.
3
R249c
2
Ed
.
15. <A> Concise introduction to pure mathematics
پدیدآورنده: \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
16. A Course in Model Theory :
پدیدآورنده: by Bruno Poizat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
17. A Course on Mathematical Logi
پدیدآورنده: / by Shashi Mohan Srivastava
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
18. A course on mathematical logic
پدیدآورنده: Srivastava, S. M. )Sashi Mohan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S65
2008
19. A Dictionary of Philosophical Logic
پدیدآورنده: \ Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic -- Dictionaries,Logic,منطق -- واژه‌نامه‌ها,منطق
رده :
E-Book
,
20. <A> First Course in Logic
پدیدآورنده: \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
