1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
3. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
4. Algebraic analysis of basic propositional logic
پدیدآورنده : by: Majid Alizadeh,^AAlizadeh, Majid
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
5. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
6. Algebraic foundations in computer science :
پدیدآورنده : edited by Werner Kuich, George Rahonis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
7. Algebraic logic
پدیدآورنده : Halmos, Paul R.)Paul Richard(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebraic logic,، Logic Symbolic and mathematical
رده :
QA
266
.
H3
8. Algebraic methods of mathematical logic
پدیدآورنده : Rieger, Ladislav
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
R6413
9. Algebraic perspectives on substructural logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
10. 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
11. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
12. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
13. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: (طهران)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
14. An algebraic approach to non-classical logics
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
R224
15. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, D. W.)Donald W.(,5391-,D. W. Barnes, J. M. Mack
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
16. An algebraic introduction tomathematical logic
پدیدآورنده : Barnes, Donald W.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
17. Applications of Hyperstructure Theory
پدیدآورنده : by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
18. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
19. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
20. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb