1. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
2. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
3. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
4. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
5. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
6. Beyond first order model theory
پدیدآورنده : edited by Jose Iovino
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
B49
7. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
8. Institution-independent model theory
پدیدآورنده : Diaconescu, Razvan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
9. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
10. Logica universalis
پدیدآورنده : / Jean-Yves Beziau, editor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical,Model theory
رده :
QA9
.
2
.
L64
2005
11. Mathematical logic : an introduction to model theory
پدیدآورنده : Lightstone, A. H.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
L54
12. Mathematical logic and model theory : a brief introduction
پدیدآورنده : Prestel, Alexander, 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
13. Mathematical logic and model theory a brief introduction
پدیدآورنده : Prestel, A.)Alexander(,1491-,Alexander Prestel, Charles N. Delzell
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
14. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: Central Library and Documentation Center (Golestan)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
15. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
16. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
17. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
18. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6