141. A framework for priority arguments
المؤلف: Lerman, Manuel, 3491-
المکتبة: (طهران)
موضوع: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
142. A friendly introduction to mathematical logic
المؤلف: / Christopher C. Leary
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: م‍ن‍طق ک‍ام‍پ‍ی‍وت‍ری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
143. A friendly introduction to mathematical logic
المؤلف: Leary, Christopher C.
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
144. A friendly introduction to mathematical logic /
المؤلف: Christopher C. Leary
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
145. A fuzzy PROLOG database system
المؤلف: Li, Deyi
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
146. A general algebraic semantics for sentential logics
المؤلف: Font, Josep Maria, 4591-
المکتبة: (طهران)
موضوع: ، Algebraic logic
رده :
QA
9
.
A1L44
Vol
.
7
147. A general framework for reasoning on inconsistency
المؤلف: Maria Vanina Martinez ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic,Inconsistency (Logic),Logic design
رده :
TK7868
.
L6
G46
2013
148. A general interpreted modal calculus
المؤلف: Bressan, Aldo
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Description )Philosophy(,، Evidence
رده :
BC
199
.
M6
.
B73
1972
149. A hierarchy of Turing degrees :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
150. A history and interpretation of the logic of Hegel
المؤلف: Giacomo Rinaldi
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Hegel, Georg Wilhelm Friedrich, - 1770-1831. Phanomenologie des geistes,Logic, Modern--19th century.
151. A lattice of chapters of mathematics
المؤلف: Jan Mycielski, Pavel Pudlák, and Alan S. Stern.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: First-order logic.,Lattice theory.,First-order logic.,Lattice theory.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
152. A logic book :
المؤلف: Robert M. Johnson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.
رده :
BC71
.
J48
2007
153. A logic book :
المؤلف: Robert M. Johnson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.
رده :
BC71
.
J48
2007
154. <A> logic book
المؤلف: / Robert M. Joohnson
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic
رده :
BC71
.
J48
1998
155. A logic book : fundamentals of reasoning
المؤلف: Johnson, Robert M.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Logic
رده :
BC
71
.
J48
2007
156. A logical approach to philosophy
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic ; Congresses. ;
157. A logical approach to philosophy
المؤلف: / edited by David Devidi and Tim Kenyon
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic Congresses
رده :
BC5
.
L64
2006
158. A logical approach to philosophy
المؤلف: edited by David Devidi and Tim Kenyon
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Congresses
رده :
BC
.
L64
5
2006
159. A logical approach to philosophy
المؤلف: / edited by David Devidi and Tim Kenyon
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--Congresses
رده :
BC5
,.
L64
,
2006
160. A logical approach to philosophy
المؤلف: / edited by David Devidi and Tim Kenyon
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic Congresses
رده :
BC5
.
L64
2006
