181. A modern perspective on type theory :
پدیدآورنده : by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
182. A new introduction to modal logic
پدیدآورنده : G. E. Hughes, M. J. Cresswell
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic - Modality
رده :
BC
,
199
,.
H8
,
1996
183. A new introduction to modal logic
پدیدآورنده : Hughes, George Edward, 8191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6H8
1996
184. A paraconsistent decision-making method /
پدیدآورنده : Fábio Romeu de Carvalho, Jair Minoro Abe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Decision making.,Decision support systems.,Logic.,Artificial intelligence.,Artificial intelligence.,Automation.,Computational intelligence.,Decision making.,Engineering.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Robotics.,Robotics.
رده :
Q342
185. A philosophical companion to first-order logic /
پدیدآورنده : edited, with an overview, by R.I.G. Hughes
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : First-order logic
رده :
BC128
.
P55
1993
186. A philosophical guide to conditionals
پدیدآورنده : Bennett, Jonathan Francis, 0391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Conditionals )Logic(
رده :
BC
199
.
C56B46
187. A practical introduction to the new logic symbols
پدیدآورنده : Kampel, Ian Joseph
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Logic circuits - Notation
رده :
TK
7868
.
L6
K36
1986
188. A practical introduction to the new logic symbols
پدیدآورنده : Kampel, Ian
موضوع : ، Logic circuits
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
189. A practical introduction to the new logic symbols
پدیدآورنده : KAMPEL,IAN JOSEPH
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : LOGIC CIRCUITS-NOTATION
رده :
TK
7868
.
L6
K36
1986
190. A practical logic of cognitive systems
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
BC
71
.
G22P7
191. A practical study of argument /
پدیدآورنده : Trudy Govier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Reasoning.
رده :
BC177
.
G65
2010
192. A practical study of argument
پدیدآورنده : Govier, Trudy
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Reasoning,، Logic
رده :
BC
177
.
G68
.
P72
193. A practical study of argument /
پدیدآورنده : Trudy Govier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Reasoning.
رده :
BC177
.
G65
2010
194. <A> practical study of argument
پدیدآورنده : / Trudy Govier
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Reasoning,Logic
رده :
BC177
.
G65
1996
195. A practical study of argument
پدیدآورنده : Govier, Trudy
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Reasoning,، Logic
رده :
BC
177
.
G68
.
P72
2005
196. A pragmatic logic for commands /
پدیدآورنده : Melvin Joseph Adler
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Commands (Logic),Pragmatics
رده :
BC199
.
C5
A34
1980
197. A pragmatic theory of fallacy
پدیدآورنده : Walton, Douglas N., 2491-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Fallacies )Logic(
رده :
BC
175
.
W3P7
198. A preface to logic.
پدیدآورنده : [by] Morris R. Cohen
موضوع : Logic.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
199. A preface to logic
پدیدآورنده : / by Morris R. Cohen
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic
رده :
160
Co-P
200. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
