461. Algebraic methods in philosophical logic
المؤلف: Dunn, J. Michael, 1491-
المکتبة: (طهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
D8
462. Algebraic methods of mathematical logic
المؤلف: Rieger, Ladislav
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
463. Algebraic methods of mathematical logic
المؤلف: RIEGER,LADISLAV
المکتبة: (طهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , ALGEBRA,BOOLEAN
رده :
QA
9
.
R6413
464. Algebraic perspectives on substructural logics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
465. Algebraic systems
المؤلف: )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
466. Algebraic systems
المؤلف: Maltsev, Anatolii Ivanovich
المکتبة: (طهران)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
467. Algebraic systems
المؤلف: Maltsev, Anatolii Ivanovich
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
468. Algebraic systems
المؤلف: Mal'tsev, Anatolii Ivanovich, 9091-7691
المکتبة: (طهران)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
469. Algebraizable logics /
المؤلف: W.J. Blok and Don Pigozzi
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic
رده :
QA10
.
A57
no
.
396
470. 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
471. Algorithmic logic /
المؤلف: G. Mirkowska and A. Salwicki
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
472. All About Maude--A High-performance Logical Framewor
المؤلف: / Manuel Clavel ... [et al.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Rewriting systems (Computer science),Human information processing.
رده :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
473. Altera databook
المؤلف: Altera corporation
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: Handbooks, manuals, etc. ، Programmable array logic,Handbooks, manuals, etc. ، Logic circuits
رده :
DB
TK
7872
.
L64A5
1992
474. Alternative Action Theory :
المؤلف: Ota Weinberger
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Act (Philosophy),Deontic logic.,Logic.
رده :
B105
.
A35
O839
1998
475. Alternative Action Theory :
المؤلف: Ota Weinberger
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Act (Philosophy),Deontic logic.,Logic.
476. Alternative logics: do sciences need them?
المؤلف: Paul Weingartner, ed
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic,، Science - Philosophy
رده :
Q
175
.
32
.
R45
A48
2004
477. Alternatives in [i.e. to] classical logic
المؤلف: / edited by D. Gabbay and F. Guenthner
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
478. Alternatives in [i.e. to] classical logic
المؤلف: / edited by D. Gabbay and F. Guenthner
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
479. Alternatives in [i.e. to] classical logic
المؤلف: / edited by D. Gabbay and F. Guenthner
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic
رده :
BC6
.
H36
1983
480. Ambiguity and logic
المؤلف: Schick, Frederic
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Decision making,، Ambiguity,، Logic
رده :
BD
184
.
S335
2003
