441. Algebraic and proof-theoretic aspects of non-classical logics
المؤلف: / Stefano Aguzzoli ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mundici, Daniele,--1946,Nonclassical mathematical logic.
رده :
QA
,
9
.
4
,.
A44
,
2007


442. Algebraic coding theory and information theory
المؤلف: A. Ashikhmin, A. Barg, editors
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Information theory in mathematics, Congresses,Coding theory, Congresses,Algebraic logic, Congresses
رده :
003
,.
54
,.
A44
,
2005


443. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
المؤلف: A. Ashikhmin, A. Barg, editors
المکتبة: (طهران)
موضوع: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
A44
2005


444. Algebraic coding theory and information theory: DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
المؤلف: A. Ashikhmin, A. Barg, editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
A44


445. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
المؤلف: A. Ashikhmin, A. Barg, editors
المکتبة: (طهران)
موضوع: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
رده :
QA
10
.
4
.
D55
2003


446. Algebraic logic
المؤلف: Gindikin, Semen Grigorevich
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebraic logic
رده :
QA
10
.
G56
1985


447. Algebraic logic /
المؤلف: edited by H. Andréka, J.D. Monk, and I. Németi
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic-- Congresses

448. Algebraic logic
المؤلف: edited by C.H.Bergaman.R.D.Maddux
المکتبة: (کرمان)
موضوع: Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990


449. Algebraic logic
المؤلف: by Paul R. Halmos,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Algebraic logic
رده :
QA
.
H3
266


450. Algebraic logic
المؤلف: Gindikin, S. G
المکتبة: (خراسان الجنوبیة)
موضوع: ، Algebraic logic
رده :
QA
10
.
G5613
1985


451. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
452. Algebraic logic
المؤلف: Halmos, Paul Richard, 6191-6002
المکتبة: (طهران)
موضوع: ، Algebraic logic
رده :
QA
266
.
H3
1962


453. Algebraic logic
المؤلف: Gindikin, Semen Grigorevich
المکتبة: (طهران)
موضوع: Algebraic logic
رده :
QA
10
.
G5613
1985


454. Algebraic logic
المؤلف: Gindikin, Semen Grigorevich
المکتبة: (طهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
G5613
1985


455. Algebraic logic
المؤلف: edited by C.H.Bergaman.R.D.Maddux
المکتبة: (کرمان)
موضوع: Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990


456. Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
المؤلف: C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425


457. Algebraic methods in philosophical logic
المؤلف: Dunn, J. Michael
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
D85
2001


458. Algebraic methods in philosophical logic
المؤلف: Dunn, J. Michael
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Algebraic logic
رده :
QA
10
.
D85
2001


459. Algebraic methods in philosophical logic
المؤلف: / J.Michael Dunn and Gary M. Hardegree
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebraic logic.
رده :
QA
,
10
,.
D85
,
2001

