161. A structuralist theory of logic
Author: / Arnold Koslow
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Implication (Logic),Structuralism.
Classification :
BC
,
135
,.
K67
,
1992
162. A structuralist theory of logic
Author: Arnold Koslow
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
Classification :
BC
135
.
K64
163. A structuralist theory of logic
پدیدآورنده : Arnold Koslow
موضوع : Logic, symbolic and mathematical,Implication (logic),Structuralism
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
164. A summary of scientific method /
Author: Peter Kosso
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Science-- Methodology
165. A survey of symbolic logic
Author: Lewis, Clarence Irving
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical
Classification :
BC
135
.
L4
1960
166. A survey of symbolic logic
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
164
Le-S
167. A survey of symbolic logic,
Author:
Library: Shahid Motahari Library (Tehran)
Subject: Logic, Symbolic and mathematical.
Classification :
BC135
.
L4
168. A survey of symbolic logic
پدیدآورنده : By C. I. Lewis
موضوع : Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
169. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
170. A theory of formal deducibility
Author: Curry, Haskell Brooks
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
N87
no
.
6
171. A theory of heuristic information in game-tree search
Author: Chun-Hung Tzeng
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
Classification :
Q
335
.
T99
1988
172. A theory of sets
Author: Morse, Anthony Perry
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
3
.
P8
no
.
18
173. A theory of sets
Author: / Anthony P. Morse
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Set theory,Logic, symbolic and mathematical
Classification :
511
.
3
Mo-T
174. A theory of sets
Author: Morse, Anthony Perry
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
3
.
P8
v
.
18
175. A tour through mathematical logic
Author: Wolf, Robert S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W7483
2005
176. A tour through mathematical logic
Author: Robert S. Wolf
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W65T6
177. A tour through mathematical logic /
Author: Robert S. Wolf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Abstract,Logic, Symbolic and mathematical
Classification :
QA9
.
W64
2005
178. A tour through mathematical logic
Author: Robert S. Wolf
Library: Central library and Documentation Center (Zanjan)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W74
2005
179. A unifying field in logics :
Author: Florentin Smarandache.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
Classification :
BC135
.
S5177
2003
180. Abelian varieties
Author: / Serge Lang
Library: Library of College of Science University of Tehran (Tehran)
Subject: Abelian groups,Logic, Symbolic and mathematical
Classification :
QA
171
.
L28
