41. Interactions :
المؤلف: edited by Vincent F. Hendricks ... [et al.].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Causality (Physics),Mathematical analysis-- Foundations.,Mathematics-- Philosophy.,Philosophy and science.,Physics-- Philosophy.,Science-- Philosophy.
42. Introduction to computational mathematics
المؤلف: Yang, Xin-She.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Numerical analysis,، Algorithms,Foundations ، Mathematical analysis,، Programming )Mathematics(
رده :
QA
297
.
Y36
2008
43. Introduction to computational mathematics
المؤلف: / Xin-She Yang
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Numerical analysis,Algorithms,Mathematical analysis- Foundations,Programming (Mathematics)
رده :
QA297
.
Y36
2008
44. Introduction to computational mathematics /Xin-She Yang.
المؤلف:
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Numerical analysis,Algorithms.,Mathematical analysis--Foundations.,Programming (Mathematics)
رده :
QA
297
.
Y36
2008
45. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
المؤلف: )by( Wilfreid Buchholz )et al(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
46. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
المؤلف: Wilfried Buchholz ... ]et al.[
المکتبة: (طهران)
موضوع: ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
47. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
48. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
المؤلف: Wilfried Buchholz ... ]et al.[
المکتبة: (طهران)
موضوع: ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
49. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
المؤلف: Wilfried Buchholz ... )et al.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
50. #Linear and non-linear numerical analysis of foundations
المؤلف: #edited by John W. Bull
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Foundations -- Mathematical models ،Numerical analysis
رده :
#
TA
،#.
B85
،#
2009
51. Linear and non-linear numerical analysis of foundations
المؤلف: / edited by John W. Bull
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Foundations--Mathematical models,Numerical analysis
رده :
TA775
.
B85
2009
52. Linear and non-linear numerical analysis of foundations
المؤلف: / edited by John W. Bull.
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Foundations--Mathematical models.,Numerical analysis.
رده :
TA
775
.
L5
2009
53. Mathematical foundations of classical statistical mechanics: continous systems
المؤلف: Petrina, Dmitrii Iakovlevich
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Statistical mechanics,Foundations ، Mathematical analysis
رده :
QC
174
.
8
.
P4813
2002
54. Number systems: a modern introduction
المؤلف: / Mervin L. Keedy
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Arithmetics - Foundations,Mathematical analysis
رده :
512
.
81
Ke-N
55. Number systems; a modern introduction Reading
المؤلف: keedy . Mervin Laverne
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Arithmetic -- Foundations,Mathematical analysis
رده :
QA
248
.
3
.
K4
56. Number systems and the foundations of analysis
پدیدآورنده : Mendelson, Elliott.
موضوع : ، Number theory,، Mathematical analysis-- Foundations
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
57. Proof theory of impredicative subsystems of analysis
المؤلف: Buchholz, Wilfried, 8491-
المکتبة: (طهران)
موضوع: ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
58. Sets and numbers
المؤلف: M.K. Singal and Asha Rani,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Mathematical analysis- Foundations
رده :
QA
.
S5
299
.
8
1976
59. The continuum : a critical examination of the foundation of analysis, Kontinuum. English
المؤلف: Weyl, Hermann
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematical analysis-- Foundations
رده :
QA
299
.
8
.
W4813
1994
60. The foundations of analysis :
المؤلف: K.G. Binmore
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical analysis-- Foundations
