81. A readable introduction to real mathematics

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.

رده :
QA
93
.
R6
2014

82. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87

83. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
568

84. A science of operations

پدیدآورنده :

کتابخانه: Central Library and Information Center of Shahed University (Tehran)

موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

85. A structuralist theory of logic

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Logic, Symbolic and mathematical. ;

86. A structuralist theory of logic

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

رده :
BC
135
.
K64

87. A structuralist theory of logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

88. A summary of scientific method /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Logic, Symbolic and mathematical,Science-- Methodology

89. A survey of symbolic logic

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L4
1960

90. A survey of symbolic logic

کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)

موضوع : Logic, Symbolic and mathematical

رده :
164
Le-S

91. A survey of symbolic logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

92. A theory of formal deducibility

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
1
.
N87
no
.
6

93. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical

رده :
Q
335
.
T99
1988

94. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
Q
335
.
T99

95. A theory of sets

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
no
.
18

96. A theory of sets

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : AGGREGATES , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
248
.
M62

97. A theory of sets

پدیدآورنده :

کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)

موضوع : Set theory,Logic, symbolic and mathematical

رده :
511
.
3
Mo-T

98. A theory of sets

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
v
.
18

99. #A tour through mathematical logic

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical ،Algebra, Abstract

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

100. A tour through mathematical logic

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract

رده :
QA
9
.
W65T6