1. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Nonstandard mathematical analysis, Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K36
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. A course on foundations of nonstandard analysis
پدیدآورنده : Kanovei, Vladimir
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Nonstandard mathematical analysis,، Mathematical analysis,، Functional analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
K2
1994
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,جبر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
![](/design/images/bookmore.png)
5. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Mathematical analysis,، Logic, symbolic and mathematical
رده :
QA
300
.
5
.
A53
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors: C. Ward Henson... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A522
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Analysis and logic
پدیدآورنده : edited by Catherine Finet & Christian Michaux; authors, C. Ward Henson...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
5
.
A536
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده : D.S. Bridges...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده : C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Communication: a logical model
پدیدآورنده : Harrah, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Content analysis )Communication(,، Information theory
رده :
BC
135
.
H33
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. Contributions to non-standard analysis
پدیدآورنده : Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Discrete mathematics
پدیدآورنده : by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
,
162
,.
D57
,
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Discrete mathematics And Graph Theory
پدیدآورنده : Purna .Chandra Bisweal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
510
,
B85
,
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Finite and infinite combinatorics in sets and logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
20. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Frege, Gottlob,8481-5291,، Frege, Gottlob, 8481-5291-- Influence,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24
.
D865
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)