21. <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
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
22. <A> First Course in Modern Logic
پدیدآورنده : \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
23. A First course in fuzzy logic
پدیدآورنده : / Hung T. Nguyen and Elbert A. Walker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Neural networks(Computer science),Fuzzy Logic
رده :
511
.
3
N576f
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
24. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
25. <A> Logical Approach to Philosophy
پدیدآورنده : \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگرهها ,منطق ریاضی -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
26. <A> Manual of Intensional Logic
پدیدآورنده : \ Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
E-Book
,
![](/design/images/bookmore.png)
27. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
![](/design/images/bookmore.png)
28. A Mathematical Structure for Emergent Computation
پدیدآورنده : by Victor Korotkich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
![](/design/images/bookmore.png)
29. A Modern introduction to logic
پدیدآورنده : Stebbing, Lizzie Susan, 5881-3491
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic
رده :
Q
175
.
S75
1945
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
30. A Practical introduction to the new logic symbols
پدیدآورنده : / lan Kampel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : LOgic circuits - Notation
رده :
TK7866
.
K3
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
31. A Precis of Mathematical Logic
پدیدآورنده : by J.M. Bocheński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
![](/design/images/bookmore.png)
32. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
33. A Survey of symbolic logic
پدیدآورنده : / by C. I. Lewis
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic, symbplical and mathematical
رده :
BC135
.
L4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
34. A treatise on induction and probability
پدیدآورنده : By George Henrik Von Wright
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic. [from old catalog],Probabilities. [from old catalog]
![](/design/images/bookmore.png)
35. A 25-Year perspective on logic programming
پدیدآورنده : / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
36. A beginner's guide to Programming logic and design
پدیدآورنده : Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
37. A chance for possibility : an investigation into the grounds of modality
پدیدآورنده : Steinberg, Alexander, 9791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Possibility,، Realism,، Supervenience )Philosophy(
رده :
BC
199
.
M6S73
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
38. A commentary to Hegel's Science of logic
پدیدآورنده : Carlson, David )David Gray(
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Hegel, Georg Wilhelm Friedrich,0771-1381.Wissenschaft der Logik,، Logic,، Kommentar
رده :
B2942
.
Z7
C37
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
39. A commentary to Hegel's Science of logic
پدیدآورنده : Carlson, David Gray
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Hegel, Georg Wilhelm Friedrich, 0771-1381. Wissenschaft der Logik,، Logic
رده :
B
2942
.
Z7
.
C37
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
40. A companion to modal logic /
پدیدآورنده : G.E. Hughes, M.J. Cresswell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Modality (Logic)
رده :
BC199
.
M6
H795
1984
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)