481. Algebraic logic
پدیدآورنده: Gindikin, Semen Grigorevich
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Algebraic logic
رده :
QA
10
.
G5613
1985
482. Algebraic logic
پدیدآورنده: edited by C.H.Bergaman.R.D.Maddux
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Algebraic Logic,Computer science
رده :
QA
10
.
A5
1990
483. Algebraic logic
پدیدآورنده: / by Paul R. Halmos
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Algebraic logic
رده :
QA266
.
H3
484. 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
485. Algebraic methods in philosophical logic
پدیدآورنده: Dunn, J. Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
D85
2001
486. Algebraic methods in philosophical logic
پدیدآورنده: Dunn, J. Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Algebraic logic
رده :
QA
10
.
D85
2001
487. Algebraic methods in philosophical logic
پدیدآورنده: J. Michael Dunn and Gary M. Hardegree
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
D8
488. Algebraic methods in philosophical logic
پدیدآورنده: / J.Michael Dunn and Gary M. Hardegree
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebraic logic.
رده :
QA
,
10
,.
D85
,
2001
489. Algebraic methods in philosophical logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algebraic logic ; Algebra ; L?gica ; Modale logica ; Parti?le orde ; Semantiek ;
490. Algebraic methods of mathematical logic
پدیدآورنده: Rieger, Ladislav
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
491. Algebraic methods of mathematical logic
پدیدآورنده: RIEGER,LADISLAV
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN
رده :
QA
9
.
R6413
492. Algebraic perspectives on substructural logics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
493. Algebraic systems
پدیدآورنده: A.I. Mal'cev; translated from the Russian by B.D. Seckler and A.P. Doohovskov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
494. Algebraic systems
پدیدآورنده: Maltsev, Anatolii Ivanovich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
495. Algebraic systems
پدیدآورنده: / (by) A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA162
.
M3413
496. Algebraic systems
پدیدآورنده: / (by) A. I. Malcev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
497. Algebraizable logics /
پدیدآورنده: W.J. Blok and Don Pigozzi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraic logic
رده :
QA10
.
A57
no
.
396
498. Algorithmic and Symbolic Combinatorics
پدیدآورنده: / Stephen Melczer, Melczer, Stephen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Discrete mathematics, Algorithms,a05
رده :
QA9
499. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده: ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274
500. Algorithmic logic /
پدیدآورنده: G. Mirkowska and A. Salwicki
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
