181. A modern introduction to logic
پدیدآورنده : [By] L. S. Stebbing
موضوع : Logic.
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
182. A modern perspective on type theory :
Author: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
Classification :
QA9
.
K225
2004


183. A new introduction to modal logic
Author: G. E. Hughes, M. J. Cresswell
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Logic - Modality
Classification :
BC
,
199
,.
H8
,
1996


184. A new introduction to modal logic
Author: Hughes, George Edward, 8191-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(
Classification :
BC
199
.
M6H8
1996


185. A paraconsistent decision-making method /
Author: Fábio Romeu de Carvalho, Jair Minoro Abe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: 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.
Classification :
Q342


186. A philosophical companion to first-order logic /
Author: edited, with an overview, by R.I.G. Hughes
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: First-order logic
Classification :
BC128
.
P55
1993


187. A philosophical guide to conditionals
Author: Bennett, Jonathan Francis, 0391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Conditionals )Logic(
Classification :
BC
199
.
C56B46


188. A practical introduction to the new logic symbols
Author: Kampel, Ian Joseph
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Logic circuits - Notation
Classification :
TK
7868
.
L6
K36
1986


189. A practical introduction to the new logic symbols
پدیدآورنده : Kampel, Ian
موضوع : ، Logic circuits
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
190. A practical introduction to the new logic symbols
Author: KAMPEL,IAN JOSEPH
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: LOGIC CIRCUITS-NOTATION
Classification :
TK
7868
.
L6
K36
1986


191. A practical logic of cognitive systems
Author: Gabbay, Dov M., 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic
Classification :
BC
71
.
G22P7


192. A practical study of argument /
Author: Trudy Govier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Reasoning.
Classification :
BC177
.
G65
2010


193. A practical study of argument
Author: Govier, Trudy
Library: Special Library of University of Religions (Qom)
Subject: ، Reasoning,، Logic
Classification :
BC
177
.
G68
.
P72


194. A practical study of argument /
Author: Trudy Govier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Reasoning.
Classification :
BC177
.
G65
2010


195. A practical study of argument
Author: Govier, Trudy
Library: Special Library of University of Religions (Qom)
Subject: ، Reasoning,، Logic
Classification :
BC
177
.
G68
.
P72
2005


196. <A> practical study of argument
Author: / Trudy Govier
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Reasoning,Logic
Classification :
BC177
.
G65
1996


197. A pragmatic logic for commands /
Author: Melvin Joseph Adler
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Commands (Logic),Pragmatics
Classification :
BC199
.
C5
A34
1980


198. A pragmatic theory of fallacy
Author: Walton, Douglas N., 2491-
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Fallacies )Logic(
Classification :
BC
175
.
W3P7


199. A preface to logic.
پدیدآورنده : [by] Morris R. Cohen
موضوع : Logic.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
200. A preface to logic
Author: / by Morris R. Cohen
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic
Classification :
160
Co-P

