101. A course in mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

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

رده :
QA
9
.
M296

102. A course in mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :
QA
9
.
M273

103. A course in mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

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

رده :
QA
9
.
M296

104. course in mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)

رده :
QA9
،.
B46
1977

105. A course in mathematical logic

پدیدآورنده :

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

106. A course in mathematical logic by J.L. Bell and M. Machover

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Logic, Symbolic and mathematical

رده :
QA
9
.
B3953

107. A course in mathematical logic for mathematicians

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)

موضوع: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd

رده :
511
,.
3
,.
M296
,
2010

108. A course in mathematical logic for mathematicians

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;

109. A course in mathematical logic for mathematicians

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

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

رده :
QA9
,.
M296
,
2010

110. course in mathematical logic for mathematicians

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic, Symbolic and mathematical.,منطق ریاضی

رده :
E-Book
,

111. A course in mathematical logic for mathematicians

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Logic, Symbolic and mathematical

رده :
QA9
.
M29613
2010

112. course in model theory:an introduction to contemporary mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Model theory

رده :
QA
9
.
7
.
P67
2000

113. A course in model theory : an introduction to contemporary mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Model theory

رده :
QA
9
.
7
.
P63

114. course in model theory:an introduction to contemporary mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Model theory

رده :
QA
9
.
7
.
P65
2000

115. course in model theory:an introduction to contemporary mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Model theory

رده :
QA
9
.
7
.
P67
2000

116. A course on mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Textbooks ، Logic, Symbolic and mathematical,، Godel's theorem

رده :
QA
9
.
S684C6
2013

117. A course on mathematical logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

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

118. A course on mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

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

رده :
QA
9
.
S684C6

119. A course on mathematical logic

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical

رده :
QA9
.
S65
2013

120. A course on mathematical logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

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