1. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
2. A primer of infinitesimal analysis /
پدیدآورنده : John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Nonstandard mathematical analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonstandard mathematical analysis.
رده :
QA299
.
82
.
B45
2008eb
3. An introduction to nonstandard real analysis /
پدیدآورنده : Albert E. Hurd, Peter A. Loeb.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Nonstandard mathematical analysis.
رده :
QA299
.
82
.
H87
1985
4. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
5. Hypernumbers and extrafunctions
پدیدآورنده : / Mark Burgin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Theory of distributions (Functional analysis),Nonstandard mathematical analysis
رده :
E-BOOK
6. Infinitesimal methods for mathematical analysis /
پدیدآورنده : J. Sousa Pinto ; translator, R.F. Hoskins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Calculus,Nonstandard mathematical analysis,Schwartz distributions
7. Infinitesimal methods for mathematical analysis
پدیدآورنده : Pinto, J. Sousa.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Nonstandard mathematical analysis,، Calculus,، Schwartz distributions
رده :
QA
299
.
82
.
P5613
2004
8. Infinitesimal methods of mathematical analysis, Metodos infinitesimais de analise matematica
پدیدآورنده : Pinto, J. Sousa
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Nonstandard mathematical analysis,، Calculus,، Schwartz distributions
رده :
QA
299
.
82
.
P55
2004
9. Integral Methods in Science and Engineering :
پدیدآورنده : Christian Constanda, Paul Harris, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Integral equations-- Numerical solutions, Congresses.,Mathematical analysis, Congresses.,Science-- Mathematics, Congresses.,Engineering mathematics.,Integral equations-- Numerical solutions.,Mathematical analysis.,Science-- Mathematics.
رده :
QA431
.
I584
2018
10. Introduction to mathematical logic
پدیدآورنده : Elliott Mendelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
11. Mathematics and Its History
پدیدآورنده : by John Stillwell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
12. Nonstandard methods in the calculus of variations /
پدیدآورنده : Curtis Tuckey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Calculus of variations,Nonstandard mathematical analysis
رده :
QA315
.
T83
1993
13. Standard and nonstandard analysis:fundamental theory techniques and applications
پدیدآورنده : Spiegel,M.R.
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Calculus,Mathematical analysis,Nonstandard
14. Stochastic calculus with infinitesimals
پدیدآورنده : Herzberg, Frederik, 1891-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Stochastic analysis,، Nonstandard mathematical analysis
رده :
QA
3
.
L28
Vol
.
2067
15. The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics /
پدیدآورنده : John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics-- Philosophy.,Mathematics-- Philosophy.
رده :
QA8
.
4
16. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
17. Trends and applications of mathematics to mechanics /
پدیدآورنده : edited by Elisabetta Rocca, Ulisse Stefanelli, Lev Truskinovsky, Augusto Visintin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Mechanics, Applied-- Mathematics, Congresses.,Building materials.,Calculus of variations.,Functional analysis.,Mathematical models.,Mathematical physics.,Mathematics.,Probabilities.,SCIENCE-- Mechanics-- General.,SCIENCE-- Mechanics-- Solids.
رده :
TA349
18. Variational analysis and applications /
پدیدآورنده : edited by Franco Giannessi, Antonino Maugeri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical optimization.,Variational inequalities (Mathematics),Mathematical optimization.,Mathematical optimization.,Optimierung,Variational inequalities (Mathematics),Variational inequalities (Mathematics),Variationsrechnung
رده :
QA316
.
V347
2005
